Commit 2024-10-16 04:43 e1344384

feat: add [s|i]sup_toXXX for intermediate fields and subalgebras (#15088)

• IntermediateField.[s|i]sup_toSubfield which states that the sup, sSup and iSup for IntermediateField is the same as for Subfield.
• Algebra.[s|i]sup_toSubsemiring which states that the sup, sSup and iSup for Subalgebra is the same as for Subsemiring.
• Also add a missing Algebra.iInf_toSubsemiring.