Project

General

Profile

Bug #808

Alg Extn by non-zero dim ideal

Added by John Abbott over 8 years ago. Updated over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Tidying
Target version:
Start date:
18 Nov 2015
Due date:
% Done:

0%

Estimated time:
Spent time:

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...

Also available in: Atom PDF