Module `Owl_symbolic_cas_canonical`

val int_sym : int -> Owl_symbolic_symbol.t
val _to_canonical : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_int : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_float : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_div : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_var : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_add : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol: Extract common factor

val canonical_mul : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbol
val canonical_form : Owl_symbolic_graph.t -> Owl_symbolic_graph.t