Design #1266
Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]
Start date:
28 Mar 2019
Due date:
% Done:
0%
Estimated time:
Description
Idea: every polyring QQ[x,y,z] should also contain a single copy of ZZ[x,y,z].
This single copy can then be used whenever computing a GBasis in QQ[x,y,z], rather than creating a new ZZ[x,y,z] for each ideal.
Is this a sensible idea? Does it work well in multithreaded contexts?
Analyse; discuss; maybe implement.