Bug #335
Equality of (sub)modules
Status:
Closed
Priority:
Urgent
Assignee:
Category:
New Function
Target version:
Description
Make equality testing of two (sub)modules work as it does for ideals
(i.e. using G-bases check both inclusions).
This implies changing the name of NewSubmodule.
2013-06 Bigatti now pseudo-constructors are called submodule, SubmoduleRows, SubmoduleCols
Related issues
History
#1
Updated by Anna Maria Bigatti almost 11 years ago
Updated by - Status changed from New to Resolved
- % Done changed from 0 to 70
mostly done, needs cleaning
#2
Updated by Anna Maria Bigatti almost 11 years ago
- % Done changed from 70 to 90
added documentation and tests
#3
Updated by Anna Maria Bigatti over 10 years ago
- Status changed from Resolved to Closed
- % Done changed from 90 to 100