Bug #808
Alg Extn by non-zero dim ideal
Description
The following produces an NYI error for the reciprocal:
use P ::= QQ[x,y,z]; I := ideal(x^2-2, y^2-x); Kz := P/I; use Kz; 1/x; --> NYI
Fix it!
History
#1 Updated by John Abbott over 8 years ago
The following variant works OK:
use P ::= QQ[x,y]; I := ideal(x^2-2,y^2-x); K := P/I; use K[z]; 1/x;
But it does print out too many brackets...