Module Owl_symbolic_cas_assumption
val is_rational : Owl_symbolic_symbol.t Owl_graph.node -> boolval is_zero : Owl_symbolic_symbol.t Owl_graph.node -> boolval set_rational : Owl_symbolic_symbol.t Owl_graph.node -> unit
Owl_symbolic_cas_assumptionval is_rational : Owl_symbolic_symbol.t Owl_graph.node -> boolval is_zero : Owl_symbolic_symbol.t Owl_graph.node -> boolval set_rational : Owl_symbolic_symbol.t Owl_graph.node -> unit