The function Jordan_form is modified to have simpler type (for outputs)#63
Open
ybertot wants to merge 3 commits intorocq-community:masterfrom
Open
The function Jordan_form is modified to have simpler type (for outputs)#63ybertot wants to merge 3 commits intorocq-community:masterfrom
ybertot wants to merge 3 commits intorocq-community:masterfrom