Möller’s algorithms with signatures
Index of the repository
Signatures.m: functions related to signaturesMollerSig_weak.m: signature-based version of Möller’s weak GB algorithmMollerSig_strong.m: signature-based version of Möller’s strong GB algorithm (for Principal Ideal Domains)MollerSig_weak_test_Z.m: test of Möller’s weak GB algorithm over ZMollerSig_weak_test_poly.m: test of Möller’s weak GB algorithm over K[Y_1..Y_k]MollerSig_weak_test_Katsura.m: test of Möller’s weak GB algorithm on Katsura-n systems (over Z)MollerSig_strong_test_generic.m: test of Möller’s weak GB algorithm on random system (over Z)MollerSig_strong_test_Katsura.m: test of Möller’s weak GB algorithm on Katsura-n systems (over Z)def_Katsura.m: definition of Katsura-n systems
References
Signature version of Möller’s weak GB algorithm: https://arxiv.org/abs/1802.01388
Signature version of Möller’s strong GB algorithm: http://arxiv.org/abs/1901.09586