Design #1127
subalgebra package obsolete?
Description
Is the subalgebra.cpkg5 package obsolete now that we have homomorphism fns in CoCoALib?
Related issues
History
#1
Updated by John Abbott over 6 years ago
Updated by - Related to Feature #590: package for subalgebras added
#2
Updated by John Abbott over 6 years ago
If I have understood what the 2 exported fns from subalgebra.cpkg5 do, then they seems to be "obsolete" to me (superseded by ker and preimage0).
Am I right? If so, then subalgebra.cpkg5 appears to be useless.
#3
Updated by John Abbott over 6 years ago
- Related to Design #1128: HomomorphismFns.cpkg5 no longer needed? added
#4
Updated by Anna Maria Bigatti over 6 years ago
Updated by - % Done changed from 0 to 40
Indeed, we could just export SubalgebraHom (pretty trivial function), and give some examples.
I'm a bit comfused though: the code does something different from what the documentation says... I wonder when that was changed!
#5
Updated by Anna Maria Bigatti over 6 years ago
- Status changed from New to In Progress
#6
Updated by Anna Maria Bigatti over 6 years ago
- Assignee set to Anna Maria Bigatti
- Target version changed from CoCoA-5.2.4 to CoCoA-5.2.2
- % Done changed from 40 to 90
- Estimated time set to 2.01 h
Mostly cleared: now it exports SubalgebraHom, and SubalgebraRepr is obsolescent.
Exhaustive documentation shows how to call ker, preimage.. on SubalgebraHom.
#7
Updated by John Abbott over 6 years ago
- Status changed from In Progress to Closed
- % Done changed from 90 to 100
#8
Updated by Anna Maria Bigatti over 6 years ago
- Target version changed from CoCoA-5.2.2 to CoCoA-5.2.4
Now it also exports implicit, which is computed via ker_H.
#9
Updated by John Abbott over 6 years ago
- Target version changed from CoCoA-5.2.4 to CoCoA-5.2.2