GuessFiniteFunctions FΒΆ

mantepse.spad line 3798

This package exports coercion and retraction from EXPR INT to finite fields

EXPRR2F: Expression Integer -> F

F2EXPRR: F -> Expression Integer