Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
add_linear_11(Arg1, Arg2, Arg3)- renormalize(Arg1, Arg2)
- nf2sum(Arg1, Arg2, Arg3)
- nf_substitute(Arg1, Arg2, Arg3, Arg4)
- nf_coeff_of(Arg1, Arg2, Arg3)
- mult_hom(Arg1, Arg2, Arg3)
- indep(Arg1, Arg2)
- mult_linear_factor(Arg1, Arg2, Arg3)
- isolate(Arg1, Arg2, Arg3)
- add_linear_f1(Arg1, Arg2, Arg3, Arg4)
- add_linear_ff(Arg1, Arg2, Arg3, Arg4, Arg5)
- normalize_scalar(Arg1, Arg2)
- nf_rhs_x(Arg1, Arg2, Arg3, Arg4)
- delete_factor(Arg1, Arg2, Arg3, Arg4)
