CVS log for OpenXM/src/kan96xx/Doc/hol.sm1

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 (4 years, 8 months 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]]]

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.