GuessFiniteFunctions FΒΆ

mantepse.spad line 3782 [edit on github]

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

EXPRR2F: Expression Integer -> F

F2EXPRR: F -> Expression Integer