Hello, standard::hilbring() changes basering(?) (and thus options); is this by intention? Here is an example: Code: option(); option("warn") ; LIB("ehv.lib"); example primdecEHV; option();
Here is the output; Code: > option(); //options: redefine loadLib usage prompt warn > option("warn") ; > LIB("ehv.lib"); // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/ehv.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/normal.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/reesclos.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/locnormal.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/modstd.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/parallel.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/tasks.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/resources.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/hnoether.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/primitiv.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/presolve.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/primdec.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/absfact.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/triang.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/sing.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/algebra.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/matrix.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/nctools.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/inout.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/random.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/poly.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/elim.lib (4.0.0.1,Jan_2014) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/general.lib (4.0.0.1,Jan_2014) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/ring.lib (4.0.0.0,Jun_2013) > example primdecEHV; // proc primdecEHV from lib ehv.lib EXAMPLE: ring r = 0,(x,y,z),dp; poly p = z2+1; poly q = z3+2; ideal i = p*q^2,y-z2; list pr = primdecEHV(i); // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc testIdeal from normal.lib -redTail -redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough pr;
_[1]=z2-y _[2]=y4+y3+4y2z+4yz+4y+4
_[2]=y2z+yz+2y+2 _[3]=y3+y2+2yz+2z
> option(); //options: redTail redThrough intStrategy redefine loadLib usage prompt warn
Hello,
standard::hilbring() changes basering(?) (and thus options); is this by intention?
Here is an example: [code] option(); option("warn") ; LIB("ehv.lib"); example primdecEHV; option(); [/code] Here is the output; [code] > option(); //options: redefine loadLib usage prompt warn > option("warn") ; > LIB("ehv.lib"); // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/ehv.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/normal.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/reesclos.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/locnormal.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/modstd.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/parallel.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/tasks.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/resources.lib (4.0.0.0,Dec_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/hnoether.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/primitiv.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/presolve.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/primdec.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/absfact.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/triang.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/sing.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/algebra.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/matrix.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/nctools.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/inout.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/random.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/poly.lib (4.0.0.0,Jun_2013) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/elim.lib (4.0.0.1,Jan_2014) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/general.lib (4.0.0.1,Jan_2014) // ** loaded /home/agag/kroeker/Projects/lipmanresolve/Singular-spielwiese/BUILD/Singular/LIB/ring.lib (4.0.0.0,Jun_2013) > example primdecEHV; // proc primdecEHV from lib ehv.lib EXAMPLE: ring r = 0,(x,y,z),dp; poly p = z2+1; poly q = z3+2; ideal i = p*q^2,y-z2; list pr = primdecEHV(i); // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc testIdeal from normal.lib -redTail -redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough // ** option changed in proc hilbRing from standard.lib +redTail +redThrough pr;
_[1]=z2-y _[2]=y4+y3+4y2z+4yz+4y+4
_[2]=y2z+yz+2y+2 _[3]=y3+y2+2yz+2z
> option(); //options: redTail redThrough intStrategy redefine loadLib usage prompt warn
[/code]
|