Open fingolfin opened 1 week ago
Just for clarification. The implementation is for ideals in polynomials rings $R[x_1,\dotsc,x_n]$, where $R$ is a Euclidean domain, although there are some details in the implementation, which makes it only work $R = \mathbf{Z}$ or $R$ a field if I remember correctly.
ideals over Euclidean domains
Base.in
method, arguably something rather centralBase.isubset(I,J)
method to test containmentBase.contains(I,J)
method which really should be aBase.issubset
method