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
Login
Register
Forum FAQ
Forum Search
