"PairUniverse" and "RuleUniverse" in old magma version?
Posted: Sun Sep 25, 2016 11:34 am
Recently, I am study F5 algorithm ---- "Faug`ere’s F5 Algorithm Revisited"
The magma code in the paper occurs a error: Runtime error: Undefined reference 'PairUniverse' in package
Is there PairUniverse exists in old magam versions? Which function should I replace it for in my own magma with version V2.12-16?
Thanks a lot.
The magma code in the paper occurs a error: Runtime error: Undefined reference 'PairUniverse' in package
Is there PairUniverse exists in old magam versions? Which function should I replace it for in my own magma with version V2.12-16?
Thanks a lot.
Code: Select all
pol_ring := Parent(f_i);
pair_univ := PairUniverse(pol_ring);
rule_univ := RuleUniverse(pol_ring);