"PairUniverse" and "RuleUniverse" in old magma version?

[xiangxw]

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.

Code: Select all

    pol_ring := Parent(f_i);
    pair_univ := PairUniverse(pol_ring);
    rule_univ := RuleUniverse(pol_ring);

[mgates3]

You appear to be asking about the MAGMA computational algebra system:
http://magma.maths.usyd.edu.au/magma/

This forum is about the linear algebra library MAGMA:
http://icl.cs.utk.edu/magma/

-mark