SymbolicExpression¶
A symbolic algebra expression.
Declaration¶
Syntax¶
SymbolicExpression()
Arguments¶
None.
Return values¶
None. A type is not evaluated.
Description¶
LPython’s S type: a value that is an unevaluated expression rather than a
number, handled by a computer algebra library at run time. It has no
parameters, since every symbolic expression has the same type.
Examples¶
(SymbolicExpression)
It comes from this complete ASR text document:
(TranslationUnit
:symtab (SymbolTable
:id 0
:symbols {
"main" (Program
:symtab (SymbolTable
:id 1
:symbols {
"p" (Variable
:parent_symtab 1
:name "p"
:dependencies []
:intent :Local
:symbolic_value nil
:value nil
:storage :Default
:type (Logical
:kind 4
)
:type_declaration nil
:abi :Source
:access :Public
:presence :Required
:value_attr false
:target_attr false
:contiguous_attr false
:bindc_name nil
:is_volatile false
:is_protected false
:pass_attr :NotMethod
:self_argument nil
:codims []
)
"s" (Variable
:parent_symtab 1
:name "s"
:dependencies []
:intent :Local
:symbolic_value nil
:value nil
:storage :Default
:type (SymbolicExpression)
:type_declaration nil
:abi :Source
:access :Public
:presence :Required
:value_attr false
:target_attr false
:contiguous_attr false
:bindc_name nil
:is_volatile false
:is_protected false
:pass_attr :NotMethod
:self_argument nil
:codims []
)
}
)
:name "main"
:dependencies []
:body [
(Assignment
:target (Var
:v (SymbolRef 1 "p")
)
:value (SymbolicCompare
:left (Var
:v (SymbolRef 1 "s")
)
:op :Eq
:right (Var
:v (SymbolRef 1 "s")
)
:type (Logical
:kind 4
)
:value nil
)
:overloaded nil
:realloc_lhs false
:move_allocation false
)
]
)
}
)
:items []
)