Miscellaneous
- IsIntrinsic(S): MonStgElt -> Bool, Intrinsic
Given a string \(S\), return
trueif and only an intrinsic with the name \(S\) exists in the current version of Magma. If the result istrue, return also the actual intrinsic.
Given a string \(S\), return true if and only an intrinsic with the name \(S\) exists in the current version of Magma. If the result is true, return also the actual intrinsic.