Re: [Reduce-algebra-developers] incremental groebnerf basis computation

[Jarmo H. <hie...@ut...>]

In the email of 18 Sept.  Rainer mentioned the program groesolvidsubset!?(b1,b2,vars) to check for subcases.
It seems to be part of the groesolv module.
But how does one get access to it?   Is something like put('.......) needed somewhere?
(Same question for preduceeval)

------------------------
Reduce (Free CSL version), 14-Apr-11 ...

1: load groebner;

2: load groesolv;

3: groesolvidsubset!?({x-1},{x-2},{x}); 

Declare groesolvidsubset? operator ?  (Y or N)

Type Y or N

---------------------------

regards, Jarmo