Design #546
ideal wants LIST of RINGELEM
Description
It is inconvenient (perhaps even embarassing) that you cannot do this:
Use QQ[x,y,z]; I := ideal([x,0,y]);
It really should be able to convert the zero (or any rational number) into the appropriate ring, so long as there is at least 1 RINGELEM value.
[I bet this is related to some other issue... no time to check now]
Related issues
History
#1
Updated by Anna Maria Bigatti over 9 years ago
Updated by - Assignee set to Anna Maria Bigatti
- % Done changed from 0 to 50
It was easy to fix it for ideal([x,0,y]);.
I re-designed the function for ideal a bit.
I renamed evalArgAsRingElemList into evalArgAsListOfRingElem (easier to find and to relate it to the less flexible evalArgAsListOf<RingElem>)
Much more tedious to do for ideal(x,0,y);. Postpone? Ignore?
#2
Updated by John Abbott over 9 years ago
Updated by - Status changed from New to Closed
- % Done changed from 50 to 100
- Estimated time set to 0.90 h
After discussing with Anna we have decided to accept the current solution: i.e. that ideal([x,0,y]) works as desired but ideal(x,0,y) does not. Fixing the latter looks to be quite tricky, and in any case the problem has an easy workaround: just put the generators into a list!