a field-theory motivated approach to computer algebra


Determining semantic properties of nodes
This package contains simple wrappers for various useful checks on nodes to determine semantic information based on their name, number of children, etc...

is_relational_operator(node: ExNode) -> bool

Returns True for $=$, $<$ and $>$ nodes

is_relational_expression(ex: Ex) -> bool

Returns True for expressions which contain a top node which is a relational operator and exactly two children
Copyright © 2001-2024 Kasper Peeters