AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

Conditioned(AngouriMath.Entity,AngouriMath.Functions.MultivariatePolynomial,AngouriMath.Functions.MultivariatePolynomial,System.Collections.Generic.IReadOnlyList{System.Int32},System.Collections.Generic.IReadOnlyList{AngouriMath.Entity.Variable})

Method (no overloads)

Summary

quotient with the condition that it is not at a zero of
excluded, where the expression it came from had no value, except
where denominator vanishing already says so; null where a step of the arithmetic declined.

Remarks

The condition is part of the form, so it is canonical too: two expressions with the same
value and the same points where they have none have to meet. So the polynomial written
is the square-free part of excluded, which vanishes exactly where it
does -- x^2/x^2 and x/x are both 1 provided not x = 0 -- without the
factors it shares with the denominator, and with whole coprime coefficients and a
positive leading one. The square-free part is E / gcd(E, dE/dx_1, …, dE/dx_n):
over the rationals a factor to the power k divides each derivative to the power
k - 1, and one of them no further.

AngouriMath

Table of contents

AngouriMath