intersect: problem with zero generators
There are still problems with zero generators:
use R ::= QQ[x,y]; I1 := ideal(x,zero(R)); I2 := ideal(y); intersect(I1,I2); --> ERROR
I thought this had been fixed :-(
#4 Updated by John Abbott 8 months ago
We must remember to add some tests for various failing cases when this has been resolved.
PS it is a little tedious that CoCoA does not accept
ideal(x,0,y) because it wants a
RINGELEM instead of an
INT; of course, it is no often that one wants to give explicitly an
INT as a generator, so perhaps the error message is a "feature"?
#5 Updated by Anna Maria Bigatti 3 months ago
- Status changed from New to Feedback
- Estimated time set to 1.01 h
I added the function
It does the same as
EmbedPolyList but skipping zero polynomials.
This should indeed be used always, instead of
EmbedPolyList, but it'd better checked case by case (for example for syzygies one should be careful....)