Skip to content

Commit 3c08d27

Browse files
authored
Merge pull request #229 from ederc/printing-gbs
Fixes printing of leading ideals
2 parents 8c0fb55 + 6a4daa7 commit 3c08d27

18 files changed

Lines changed: 73 additions & 28 deletions

configure.ac

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -190,6 +190,7 @@ AC_CONFIG_LINKS([
190190
test/diff/diff_truncate_gb.sh:test/diff/diff_truncate_gb.sh
191191
input_files/one-31.ms:input_files/one-31.ms
192192
output_files/one-31.res:output_files/one-31.res
193+
output_files/one-31.g1.res:output_files/one-31.g1.res
193194
test/diff/diff_one-31.sh:test/diff/diff_one-31.sh
194195
input_files/one-qq.ms:input_files/one-qq.ms
195196
output_files/one-qq.res:output_files/one-qq.res

output_files/bug-2nd-prime-bad.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,5 +31,4 @@ z1*z3+z2,
3131
1019216457772633533410034305510398608108760872849087734622912123863821457922804300000*z7^3+267803583331588366418977055996836377989590005535756447877112782533199528*z1*z7+133721219136127422925707126486768021244699145577920544238487465425818484*z2*z7-133984452101165886926847409900168455167002734512137534871786846225147284*z3*z7-1016179568600761831665689530944929495104973598729324162209352733254010471713108502875*z7^2+398483221914552109594233960728381325827827950831910684278247582425829376*z1*z8+198973323628130148764623403043363826494120818799656186848197065004279808*z2*z8-199364752344393113569708263425142905132053541576226001548654010974251008*z3*z8+22550473982280699730572372880552373024399019452677226540083664297318894021901568*z7*z8+4162304689491135681389504914227949740513935613435482702493168553535523903362951761920000*z8^2-36177747609488133794216288641187811523461204325951538938548400769160*z1-18075691189082266499328371603635687434091162141399006976253323241060*z2+18100058836371772920561274240132088975890192270953773983938212790660*z3-1079464466769812041193747842233341590301383584525944581510930187147972*z4+1016187661161671122998261391849925629008308042221262241127616103494295254273261116684*z7-5062914721349142781187536915683253761395045168915979225717905795170946918144*z8+456211058253720257417409063552344198583357700116007934909498108633534083,
3232
66794239675793015903739589088058171070258314240*z3*z7^2+16692710370444121695110351604497067685745261048*z1*z7+8364414508810215374409576925754969948362095964*z2*z7-8310234571259822264380406570257127904787325884*z3*z7+45608193040432464762299427191984486671965400620415695*z7^2+24878554025220156168025363495337188977658228736*z1*z8+12439272644015331594059384339886011361004730368*z2*z8-12412395831315806497054964839736293990552434688*z3*z8+509272050365929971820138838411598155002606585288177408*z7*z8+280280664969607498671115871098955321004092906942361600000*z8^2-2259737187921426632051138152109648529680280*z1-1129868395532536240718824099320513621316140*z2+1128647709281494208182359162113350362054540*z3-48585662531005188085908336857783744349688652*z4+68211861836686261133955000623912567204816248402317124*z7-183808518674095655518349747664599377057370476623104*z8+18791417615281683205632808834610813130314746153,
3333
912684255760398080246796555026458336266396523304390400*z2*z7^2+502173451744878247101895165762490090809935874200863096*z1*z7+251184924796464147105728651770521324184829226254396188*z2*z7-251283391159128209440933972388312615352201055893713788*z3*z7+2306148460941404981072303823778174121800225286406243133275765375*z7^2+747218758416354763562187130567259954478461539957010432*z1*z8+373388883157394778265721329894398467189315245123680256*z2*z8-373902725431058969905713400212533931224359911424915456*z3*z8+31549948051087455849481948576927655506827264404284715658462976*z7*z8-9405114217669556100863130188960671141658707174776968052679249920000*z8^2-67830408207644452183745617865537888147432831056920*z1-33905191096144288302404967600350880610973390791020*z2+33941866983666559179354534917588100132598334351820*z3-1856208746528889245574032645278560796648195141995404*z4-2296181381250911868087907035334517983481730198098895854412155612*z7-8156608611753821128114071212657750942313821155473433879808*z8+763791541294702117746436234836303975675641492003225881,
34-
2433824682027728213991457480070555563377057395478374400*z1*z7^2-364455878389008349166123162142486536574103210619658328*z1*z7-182029851516679137406921505709503410164172975295132684*z2*z7+183148234591372323235635247874197282470718637704943084*z3*z7-3074031883878463634324476891542015768245149281080961677098534875*z7^2-542543968597913118058474561188675947849697885218123776*z1*z8-270978069183984789359701598950684887071649599825451008*z2*z8+272152856029943493633255477910172067762446283697707008*z3*z8-32784905717445930908593671220544840531689001499827165556531968*z7*z8+12545260518634221236860589131850544784625890855666018478100664320000*z8^2+49270790609996691584354676878190701317651811274360*z1+24622048244528160344641999254379726247141408613660*z2-24693188890397733175024454883561651433067920766460*z3+1590727797071799677214365209028043436610854384246972*z4+3062818365783766491723272903015800852374915434541500685254411116*z7+7528514314359410306251043980915430896666503843202111961344*z8-676319078471125588102623072329206227477734695087195133
35-
]:
34+
2433824682027728213991457480070555563377057395478374400*z1*z7^2-364455878389008349166123162142486536574103210619658328*z1*z7-182029851516679137406921505709503410164172975295132684*z2*z7+183148234591372323235635247874197282470718637704943084*z3*z7-3074031883878463634324476891542015768245149281080961677098534875*z7^2-542543968597913118058474561188675947849697885218123776*z1*z8-270978069183984789359701598950684887071649599825451008*z2*z8+272152856029943493633255477910172067762446283697707008*z3*z8-32784905717445930908593671220544840531689001499827165556531968*z7*z8+12545260518634221236860589131850544784625890855666018478100664320000*z8^2+49270790609996691584354676878190701317651811274360*z1+24622048244528160344641999254379726247141408613660*z2-24693188890397733175024454883561651433067920766460*z3+1590727797071799677214365209028043436610854384246972*z4+3062818365783766491723272903015800852374915434541500685254411116*z7+7528514314359410306251043980915430896666503843202111961344*z8-676319078471125588102623072329206227477734695087195133]:

output_files/bug-empty-tracer.res

Lines changed: 1 addition & 2 deletions
Large diffs are not rendered by default.

output_files/cyclic5-qq.g2.e1.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,5 +23,4 @@ x3^2*x5^5+3*x3*x5^6+x5^7-x3^2-3*x3*x5-x5^2,
2323
x5^8+42*x2*x3*x4+21*x3^2*x4-165*x2*x4^2+42*x3*x4^2-55*x4^3-76*x2*x3*x5-55*x3^2*x5+13*x2*x4*x5-131*x3*x4*x5-21*x4^2*x5+186*x2*x5^2+21*x3*x5^2-42*x4*x5^2+219*x5^3,
2424
x4*x5^7-110*x2*x3*x4-55*x3^2*x4+52*x2*x4^2+60*x3*x4^2+39*x4^3+29*x2*x3*x5-26*x3^2*x5-34*x2*x4*x5-102*x3*x4*x5+120*x4^2*x5+63*x2*x5^2-120*x3*x5^2+109*x4*x5^2-26*x5^3,
2525
x3*x5^7-16*x2*x3*x4-8*x3^2*x4+63*x2*x4^2-16*x3*x4^2+21*x4^3+29*x2*x3*x5+21*x3^2*x5-5*x2*x4*x5+50*x3*x4*x5+8*x4^2*x5-71*x2*x5^2-9*x3*x5^2+16*x4*x5^2-84*x5^3,
26-
x4^2*x5^6+28*x2*x3*x4+14*x3^2*x4-21*x2*x4^2-12*x3*x4^2-12*x4^3-11*x2*x3*x5+3*x3^2*x5+9*x2*x4*x5+17*x3*x4*x5-30*x4^2*x5-5*x2*x5^2+29*x3*x5^2-28*x4*x5^2+18*x5^3
27-
]:
26+
x4^2*x5^6+28*x2*x3*x4+14*x3^2*x4-21*x2*x4^2-12*x3*x4^2-12*x4^3-11*x2*x3*x5+3*x3^2*x5+9*x2*x4*x5+17*x3*x4*x5-30*x4^2*x5-5*x2*x5^2+29*x3*x5^2-28*x4*x5^2+18*x5^3]:

output_files/cyclic5-qq.g2.e2.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,5 +19,4 @@ x3^2*x5^5+3*x3*x5^6+x5^7-x3^2-3*x3*x5-x5^2,
1919
33*x4^3*x5^5-1020*x3*x5^7-4*x4*x5^7-389*x5^8+40*x3^3-20*x3^2*x4-100*x3*x4^2-23*x4^3+100*x3^2*x5-10*x3*x4*x5-30*x4^2*x5+1050*x3*x5^2-36*x4*x5^2+409*x5^3,
2020
4*x5^9-314*x3^3*x4-3*x3*x4^3+13*x4^4-42*x3^3*x5-777*x3^2*x4*x5-78*x3*x4^2*x5-71*x4^3*x5+65*x3^2*x5^2+71*x3*x4*x5^2-408*x4^2*x5^2+722*x3*x5^3+42*x4*x5^3+776*x5^4,
2121
2*x4*x5^8-139*x3^3*x4+138*x3*x4^3+59*x4^4-191*x3^3*x5-311*x3^2*x4*x5+290*x3*x4^2*x5+75*x4^3*x5-349*x3^2*x5^2-75*x3*x4*x5^2-168*x4^2*x5^2+307*x3*x5^3+189*x4*x5^3+173*x5^4,
22-
4*x3*x5^8+120*x3^3*x4+x3*x4^3-5*x4^4+16*x3^3*x5+297*x3^2*x4*x5+30*x3*x4^2*x5+27*x4^3*x5-25*x3^2*x5^2-27*x3*x4*x5^2+156*x4^2*x5^2-280*x3*x5^3-16*x4*x5^3-298*x5^4
23-
]:
22+
4*x3*x5^8+120*x3^3*x4+x3*x4^3-5*x4^4+16*x3^3*x5+297*x3^2*x4*x5+30*x3*x4^2*x5+27*x4^3*x5-25*x3^2*x5^2-27*x3*x4*x5^2+156*x4^2*x5^2-280*x3*x5^3-16*x4*x5^3-298*x5^4]:

output_files/cyclic5-qq.g2.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,5 +24,4 @@ x3^2*x5^5+3*x3*x5^6+x5^7-x3^2-3*x3*x5-x5^2,
2424
x5^8+42*x2*x3*x4+21*x3^2*x4-165*x2*x4^2+42*x3*x4^2-55*x4^3-76*x2*x3*x5-55*x3^2*x5+13*x2*x4*x5-131*x3*x4*x5-21*x4^2*x5+186*x2*x5^2+21*x3*x5^2-42*x4*x5^2+219*x5^3,
2525
x4*x5^7-110*x2*x3*x4-55*x3^2*x4+52*x2*x4^2+60*x3*x4^2+39*x4^3+29*x2*x3*x5-26*x3^2*x5-34*x2*x4*x5-102*x3*x4*x5+120*x4^2*x5+63*x2*x5^2-120*x3*x5^2+109*x4*x5^2-26*x5^3,
2626
x3*x5^7-16*x2*x3*x4-8*x3^2*x4+63*x2*x4^2-16*x3*x4^2+21*x4^3+29*x2*x3*x5+21*x3^2*x5-5*x2*x4*x5+50*x3*x4*x5+8*x4^2*x5-71*x2*x5^2-9*x3*x5^2+16*x4*x5^2-84*x5^3,
27-
x4^2*x5^6+28*x2*x3*x4+14*x3^2*x4-21*x2*x4^2-12*x3*x4^2-12*x4^3-11*x2*x3*x5+3*x3^2*x5+9*x2*x4*x5+17*x3*x4*x5-30*x4^2*x5-5*x2*x5^2+29*x3*x5^2-28*x4*x5^2+18*x5^3
28-
]:
27+
x4^2*x5^6+28*x2*x3*x4+14*x3^2*x4-21*x2*x4^2-12*x3*x4^2-12*x4^3-11*x2*x3*x5+3*x3^2*x5+9*x2*x4*x5+17*x3*x4*x5-30*x4^2*x5-5*x2*x5^2+29*x3*x5^2-28*x4*x5^2+18*x5^3]:

output_files/elim-qq.e2.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,4 @@
55
#monomial order: graded reverse lexicographical
66
#length of basis: 1 element
77
#---
8-
[x^4
9-
]:
8+
[x^4]:

output_files/elim-qq.res

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,4 @@ x^4,
1010
w*x^3,
1111
w^2*x^2,
1212
w^3*x,
13-
w^4
14-
]:
13+
w^4]:

output_files/groebner-g2.g2.res

Lines changed: 1 addition & 2 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)