pub trait AdvancedPolynomial {
// Required methods
fn polynomial_divide(&self, divisor: &Self) -> (Expression, Expression);
fn polynomial_remainder(&self, divisor: &Self) -> Expression;
fn polynomial_degree(&self, var: &Symbol) -> Option<i64>;
fn polynomial_leading_coefficient(&self, var: &Symbol) -> Expression;
fn polynomial_content(&self) -> Expression;
fn polynomial_primitive_part(&self) -> Expression;
fn polynomial_resultant(&self, other: &Self, var: &Symbol) -> Expression;
fn polynomial_discriminant(&self, var: &Symbol) -> Expression;
}Expand description
Trait for advanced polynomial operations
Required Methods§
fn polynomial_divide(&self, divisor: &Self) -> (Expression, Expression)
fn polynomial_remainder(&self, divisor: &Self) -> Expression
fn polynomial_degree(&self, var: &Symbol) -> Option<i64>
Sourcefn polynomial_leading_coefficient(&self, var: &Symbol) -> Expression
fn polynomial_leading_coefficient(&self, var: &Symbol) -> Expression
Leading coefficient extraction
Sourcefn polynomial_content(&self) -> Expression
fn polynomial_content(&self) -> Expression
Content extraction (GCD of coefficients)
Sourcefn polynomial_primitive_part(&self) -> Expression
fn polynomial_primitive_part(&self) -> Expression
Primitive part extraction (polynomial / content)
Sourcefn polynomial_resultant(&self, other: &Self, var: &Symbol) -> Expression
fn polynomial_resultant(&self, other: &Self, var: &Symbol) -> Expression
Resultant computation for polynomial elimination
Sourcefn polynomial_discriminant(&self, var: &Symbol) -> Expression
fn polynomial_discriminant(&self, var: &Symbol) -> Expression
Discriminant computation
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.