Python: sympy.collectで式の並びが降べきの順にならない問題を解決したい

Question

前提・実現したいこと

中学生が文字計算の練習に使えるプリントを出力するシステムを作成しています。ブラウザ経由で問題のタイプを選択し、ランダムに問題が作成されるシステムです。
通常計算から方程式までこなせるということでsympyを利用しているのですが、特定の値で文字式が降べきの順に整理できない問題が発生しています。

該当のソースコード

import sympy as sy

x = sy.Symbol("x", real=True)

result1 = 3 * x + 4
print(result1)
print(sy.collect(result1, x))
result2 = 3 * x - 4
print(result2)
print(sy.collect(result2, x))
result3 = -4 * x + 4
print(result3)
print(sy.collect(result3, x))
result4 = 3 - 2 * x
print(result4)
print(sy.collect(result4, x))

3*x + 4
3*x + 4
3*x - 4
3*x - 4
4 - 4*x
4 - 4*x
3 - 2*x
3 - 2*x

このようにxの係数で負の数、定数項に正の数を設定した際、逆に出力されてしまいます。

試したこと

整数をsy.Integerで定義したり、掛け算や足し算をsympyのadd,mulなどで処理したりしましたが、結果は変わりませんでした。
また、evaluate=Falseでパラメータを指定して、辞書をdefaultdictに変換し、そこから手動で計算結果を作成することも試みましたが、次数がランダムにx,x^2,x^6,xy,x/y,y/x,y^2/xなど設定されるので、限られた範囲しか対応できていません。

補足情報（FW/ツールのバージョンなど）

python=3.6
sympy=1.9

Answer 1

sympy.init_printing で order='grevlex'(reversed graded lexographic order) を指定して、sympy の pprint(pretty print) を使ってみてはどうでしょうか。

import sympy as sy
from sympy import pprint

sy.init_printing(order='grevlex')

x = sy.Symbol("x", real=True)

result1 = 3 * x + 4
pprint(result1)
pprint(sy.collect(result1, x))
result2 = 3 * x - 4
pprint(result2)
pprint(sy.collect(result2, x))
result3 = -4 * x + 4
pprint(result3)
pprint(sy.collect(result3, x))
result4 = 3 - 2 * x
pprint(result4)
pprint(sy.collect(result4, x))

#
3⋅x + 4
3⋅x + 4
3⋅x - 4
3⋅x - 4
-4⋅x + 4
-4⋅x + 4
-2⋅x + 3
-2⋅x + 3

※ sympy.pprint を使うことで * ではなく ⋅(DOT OPERATOR(U+22c5)) が表示されます

Comments

[kensoon]

ご対応ありがとうございます。完璧に解決できました。
参考にしたサイトで「init_printinはjupyter notebook用の表示である」という旨の知識を得ていたため、勘違いしていました。今後は公式ドキュメントの方も確認しておくようにしておきます。
繰り返しになりますが、本当にありがとうございました。本当に助かりました。