pub enum PolynomialSystemSolution {
ZeroDimensional(ZeroDimSolutions),
PositiveDimensional(GroebnerBasis<RationalDomain, Lex>),
Empty,
}Expand description
Result of solving a polynomial system.
Variants§
ZeroDimensional(ZeroDimSolutions)
Finite number of real solutions.
PositiveDimensional(GroebnerBasis<RationalDomain, Lex>)
Infinite solution set; the Gröbner basis in Lex order.
Empty
No solutions (the ideal is ⟨1⟩).
Trait Implementations§
Source§impl Clone for PolynomialSystemSolution
impl Clone for PolynomialSystemSolution
Source§fn clone(&self) -> PolynomialSystemSolution
fn clone(&self) -> PolynomialSystemSolution
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for PolynomialSystemSolution
impl RefUnwindSafe for PolynomialSystemSolution
impl Send for PolynomialSystemSolution
impl Sync for PolynomialSystemSolution
impl Unpin for PolynomialSystemSolution
impl UnsafeUnpin for PolynomialSystemSolution
impl UnwindSafe for PolynomialSystemSolution
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more