Design problem in ideals
Now that there is a linear system solver I tried to write a general implementation for
but encountered some (serious?) technical problems. It seems to be impossible to compute the quotient basis of the
this ideal, because
this is a pointer-to-constant, and the pseudo-ctor
ideal wants a non-const pointer.
No idea how to solve this one. One possibility would be to pass in the original ideal and hand that to
Anyone got any good ideas?