Singular
https://www.singular.uni-kl.de/forum/

standard::hilbring() changes basering (and thus options);
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2338		 Page 1 of 1
Author:  jack [ Fri Feb 07, 2014 12:42 pm ]
Post subject:  standard::hilbring() changes basering (and thus options);
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
Author:  guest [ Wed Jun 11, 2014 5:59 pm ]
Post subject:  Re: standard::hilbring() changes basering (and thus options);
Quote:
standard::hilbring() changes basering(?) (and thus options);

was a bug; is fixed
Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/