Closed ederc closed 10 months ago
Reintroduces "#" as prefix for Gröbner basis meta data (fixing Maple file interface).
Reintroduces "#" as prefix for Gröbner basis meta data (fixing Maple file interface).