fricas
)show QuadraticForm
QuadraticForm(n: PositiveInteger,K: Field) is a domain constructor
Abbreviation for QuadraticForm is QFORM
This constructor is exposed in this frame.
------------------------------- Operations --------------------------------
?*? : (Integer,%) -> % ?*? : (PositiveInteger,%) -> %
?+? : (%,%) -> % ?-? : (%,%) -> %
-? : % -> % ?=? : (%,%) -> Boolean
0 : () -> % coerce : % -> OutputForm
?.? : (%,DirectProduct(n,K)) -> K hash : % -> SingleInteger
latex : % -> String matrix : % -> SquareMatrix(n,K)
opposite? : (%,%) -> Boolean sample : () -> %
zero? : % -> Boolean ?~=? : (%,%) -> Boolean
?*? : (NonNegativeInteger,%) -> %
convert : % -> InputForm if SquareMatrix(n,K) has KONVERT(INFORM)
hashUpdate! : (HashState,%) -> HashState
quadraticForm : SquareMatrix(n,K) -> %
subtractIfCan : (%,%) -> Union(%,"failed")
fricas
parse(s:String):InputForm == ncParseFromString(s)$Lisp pretend InputForm
Function declaration parse : String -> InputForm has been added to
workspace.
Type: Void
fricas
parse("Integer")
fricas
Compiling function parse with type String -> InputForm
Test
fricas
qf := quadraticForm matrix [[1,2],[2,-1]]
fricas
qf::InputForm
fricas
unparse %
Type: String
fricas
parse %
fricas
interpret(%)$INFORM1(QuadraticForm(2,Fraction Integer))