Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: HEAD
Revision 1.30 / (download) - annotate - [select for diffs], Fri Sep 13 05:21:33 2019 UTC (5 years ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.29: +210 -1
lines
Diff to previous 1.29 (colored)
reduction uses the global variable ring_var in the ox_sm1 server when two args. Example. [1837] XM_debug=0$ S=sm1.syz([ [x^2-1,x^3-1,x^4-1],[x]])$ [1838] sm1.auto_reduce(1); 1 [1839] S0=sm1.gb([S[0],[x]]); [[[-x^2-x-1,x+1,0],[x^2+1,0,-1]],[[0,x,0],[0,0,-1]]] [1840] sm1.reduction([ [-x^4-x^3-x^2-x,x^3+x^2+x+1,-1], S0[0]]); [[0,0,0],-1,[[x^2+1,0,0],[1,0,0]],[[-x^2-x-1,x+1,0],[x^2+1,0,-1]]]