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