Feature #1803
Improve trivial operations with ideal whose GBasis is [1]
Start date:
25 Mar 2024
Due date:
% Done:
0%
Estimated time:
Description
Sum is clever -- if HasGBasis(I) and is ideal(1).
Do the same for product and for other similar operations.
use QQ[x,y,z]; I := ideal(x, x-1); GBasis(I); ideal(y) + I; ---> gives (1) :-) ideal(y) * I; ---> uses generators :-(
Related issues
History
#1
Updated by Anna Maria Bigatti about 1 month ago
Updated by - Related to Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators? added