Johannes, I guess, you have implemented the ModMonic domain.
To me it looks like a good candidate for being used as the representation domain of SimpleAlgebraicExtension. However, where SAE uses the polynomial as its third argument, ModMonic is pretty much mutable, i.e., the polynomial is set on demand. I wonder what the pros and cons of such an approach are. Couldn't ModMonic also use 3 parameters like SAE? As can be seen from https://github.com/fricas/fricas/blob/master/src/algebra/ffpoly.spad#L211 it would mean creating a new instance of the ModMonicDomain with every call of reducedQPowers. Would that be the problem? Too much overhead in creating a new domain? That's certainly a problem if FriCAS should ever be able to use the power of running on several CPU kernels. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/9623fb5a-c4d9-4709-3f76-eb10d85a9d9a%40hemmecke.org.
