GuessFiniteFunctions(F)

mantepse.spad line 3782 [edit on github]

• F : Join(FiniteFieldCategory, ConvertibleTo(Integer))

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

EXPRR2F : Expression(Integer) -> F

F2EXPRR : F -> Expression(Integer)