multi_polynomial_test.cc File Reference

#include <gtest/gtest.h>
#include <chrono>
#include <concepts>
#include <cmath>
#include <string>
#include <sstream>
#include <stdexcept>
#include <random>
#include <tpl_multi_polynomial.H>

Include dependency graph for multi_polynomial_test.cc:

Go to the source code of this file.

Classes
class	MultiPolyPhase2

Concepts
concept	HasSPoly
concept	HasGroebnerBasis
concept	HasIdealMember
concept	HasRadicalMember

Typedefs
using	Idx = Array< size_t >
using	IntGrevlexPoly = Gen_MultiPolynomial< long long, Grevlex_Order >
using	IntMPoly = Gen_MultiPolynomial< long long, Grevlex_Order >
using	IntPoly = Gen_Polynomial< long long >

Functions
template<typename MP >
static void	expect_buchberger_criterion (const Array< MP > &basis)
template<typename MP >
static void	expect_autoreduced_basis (const Array< MP > &basis)
	TEST (MultiPoly, DefaultIsZero)
	TEST (MultiPoly, ConstantFromNvars)
	TEST (MultiPoly, ZeroConstantIsZero)
	TEST (MultiPoly, SingleTerm)
	TEST (MultiPoly, InitializerListConstruction)
	TEST (MultiPoly, DuplicateTermsAccumulate)
	TEST (MultiPoly, CancellingTerms)
	TEST (MultiPoly, VariableFactory)
	TEST (MultiPoly, VariableOutOfRange)
	TEST (MultiPoly, MonomialFactory)
	TEST (MultiPoly, DegreeIn)
	TEST (MultiPoly, LeadingTermGrevlex)
	TEST (MultiPoly, LeadingTermLex)
	TEST (MultiPoly, LeadingTermOfZeroThrows)
	TEST (MultiPoly, AddTwoPolynomials)
	TEST (MultiPoly, SelfAddition)
	TEST (MultiPoly, AddScalarRight)
	TEST (MultiPoly, AddScalarLeft)
	TEST (MultiPoly, Cancellation)
	TEST (MultiPoly, SelfSubtraction)
	TEST (MultiPoly, SubtractScalarRight)
	TEST (MultiPoly, SubtractScalarLeft)
	TEST (MultiPoly, UnaryNegation)
	TEST (MultiPoly, ScalarMultiply)
	TEST (MultiPoly, ScalarMultiplyByZero)
	TEST (MultiPoly, ScalarDivide)
	TEST (MultiPoly, ScalarDivideByZeroThrows)
	TEST (MultiPoly, MultiplySimple)
	TEST (MultiPoly, MultiplySquare)
	TEST (MultiPoly, DistributiveLaw)
	TEST (MultiPoly, CommutativeMultiply)
	TEST (MultiPoly, MultiplyByZero)
	TEST (MultiPoly, MultiplyByOne)
	TEST (MultiPoly, PowZero)
	TEST (MultiPoly, PowOne)
	TEST (MultiPoly, PowTwo)
	TEST (MultiPoly, PowThree)
	TEST (MultiPoly, EvalConstant)
	TEST (MultiPoly, EvalLinear)
	TEST (MultiPoly, EvalQuadratic)
	TEST (MultiPoly, EvalThreeVars)
	TEST (MultiPoly, EvalFunctionCallSyntax)
	TEST (MultiPoly, EvalTooFewComponents)
	TEST (MultiPoly, EvalZeroPolynomial)
	TEST (MultiPoly, EqualPolynomials)
	TEST (MultiPoly, UnequalPolynomials)
	TEST (MultiPoly, ZeroEqualsZero)
	TEST (MultiPoly, LexVsGrevlex)
	TEST (MultiPoly, GrlexSameDegree)
	TEST (MultiPoly, GrevlexSameDegree)
	TEST (MultiPoly, GrevlexThreeVars)
	TEST (MultiPoly, ToStrZero)
	TEST (MultiPoly, ToStrConstant)
	TEST (MultiPoly, ToStrSingleVar)
	TEST (MultiPoly, ToStrNegativeCoeff)
	TEST (MultiPoly, StreamOutput)
	TEST (MultiPoly, ForEachTerm)
	TEST (MultiPoly, TermsList)
	TEST (MultiPoly, PromoteAddsVariables)
	TEST (MultiPoly, PromoteSameNvarsIsCopy)
	TEST (MultiPoly, DemoteThrows)
	TEST (MultiPoly, BinomialExpansion)
	TEST (MultiPoly, DifferenceOfSquares)
	TEST (MultiPoly, AssociativityOfAddition)
	TEST (MultiPoly, EvaluateProduct)
	TEST (MultiPoly, SingleVariablePolyBehavesLikeUnivariate)
	TEST (MultiPoly, ZeroVariablePolynomial)
	TEST (MultiPoly, HighDegreeMonomial)
	TEST (MultiPoly, SparseHighDegreePerformance)
	TEST (MultiPolyLayer2, FitExactLinear2D)
	TEST (MultiPolyLayer2, FitWeightedBasic)
	TEST (MultiPolyLayer2, FitEmptyDataThrows)
	TEST (MultiPolyPhase1Ridge, BasicRidgeLinear2D)
	TEST (MultiPolyPhase1Ridge, RidgeVsPlainFit)
	TEST (MultiPolyPhase1Ridge, RidgeWithNoisy1D)
	TEST (MultiPolyPhase1ResidualAnalysis, AnalyzeExactFit)
	TEST (MultiPolyPhase1ResidualAnalysis, AnalyzeWithError)
	TEST (MultiPolyPhase1ResidualAnalysis, MeanAndSSCalculations)
	TEST (MultiPolyPhase1ResidualAnalysis, IntegerMeanUsesFloatingPointAverage)
	TEST (MultiPolyPhase1Integration, RidgeAndAnalysis)
	TEST (MultiPolyPhase2, PartialConstantIsZero)
	TEST (MultiPolyPhase2, PartialLinearVar0)
	TEST (MultiPolyPhase2, PartialLinearVar1)
	TEST (MultiPolyPhase2, PartialQuadraticRule)
	TEST (MultiPolyPhase2, PartialVanishingTerm)
	TEST (MultiPolyPhase2, PartialHigherOrder)
	TEST (MultiPolyPhase2, PartialZeroOrderReturnsSelf)
	TEST (MultiPolyPhase2, PartialOutOfRangeThrows)
	TEST (MultiPolyPhase2, GradientSize)
	TEST (MultiPolyPhase2, GradientLinear)
	TEST (MultiPolyPhase2, GradientQuadratic)
	TEST (MultiPolyPhase2, HessianSize)
	TEST (MultiPolyPhase2, HessianLinearIsZero)
	TEST (MultiPolyPhase2, HessianQuadratic)
	TEST (MultiPolyPhase2, HessianSymmetry)
	TEST (MultiPolyPhase2, EvalGradientLinear)
	TEST (MultiPolyPhase2, EvalGradientAtPoint)
	TEST (MultiPolyPhase2, EvalHessianQuadratic)
	TEST (MultiPolyPhase2, EvalGradTooFewComponentsThrows)
	TEST (MultiPolyPhase2, EvalHessianTooFewComponentsThrows)
	TEST (MultiPolyPhase2, InterpolateUnivariateLinear)
	TEST (MultiPolyPhase2, InterpolateUnivariateQuad)
	TEST (MultiPolyPhase2, InterpolateBivariate2x2)
	TEST (MultiPolyPhase2, InterpolateBivariate3x2)
	TEST (MultiPolyPhase2, InterpolateSizeMismatchThrows)
	TEST (MultiPolyPhase2, InterpolateDuplicateNodesThrows)
	TEST (MultiPolyPhase2, JsonRoundtrip)
	TEST (MultiPolyPhase2, JsonZeroPoly)
	TEST (MultiPolyPhase2, BinaryRoundtrip)
	TEST (MultiPolyPhase2, BinaryMultiTerm)
	TEST (MultiPolyPhase2, EvalBatchCorrectness)
	TEST (MultiPolyPhase2, EvalBatchMatchesEval)
	TEST (MultiPolyPhase2, FitParallelMatchesFit)
	TEST (MultiPolyLayer3, DivisionByConstant)
	TEST (MultiPolyLayer3, DivisionExact)
	TEST (MultiPolyLayer3, DivisionWithRemainder)
	TEST (MultiPolyLayer3, MultiDivisor)
	TEST (MultiPolyLayer3, ZeroDividend)
	TEST (MultiPolyLayer3, DivisorZeroThrows)
	TEST (MultiPolyLayer3, EmptyDivisorsThrows)
	TEST (MultiPolyLayer3, DivmodIdentityCheck)
	TEST (MultiPolyLayer3, IntegerDivisionNonExactLeadingCoeffFallsToRemainder)
	TEST (MultiPolyLayer3, SPolyLinear)
	TEST (MultiPolyLayer3, SPolyCancellation)
	TEST (MultiPolyLayer3, SPolyZeroFThrows)
	TEST (MultiPolyLayer3, SPolyZeroGThrows)
	TEST (MultiPolyLayer3, SPolyIncompatibleNvarsThrows)
	TEST (MultiPolyLayer3, GroebnerSingleGenerator)
	TEST (MultiPolyLayer3, GroebnerLinearIdeal)
	TEST (MultiPolyLayer3, GroebnerAutoreducesInitialGenerators)
	TEST (MultiPolyLayer3, GroebnerQuadratic2D)
	TEST (MultiPolyLayer3, GroebnerBasisAutoreducesIntermediateElements)
	TEST (MultiPolyLayer3, GroebnerLexEliminationSystem)
	TEST (MultiPolyLayer3, GroebnerBasisSatisfiesBuchbergerCriterionRandomized)
	TEST (MultiPolyLayer3, GroebnerEmptyThrows)
	TEST (MultiPolyLayer3, GroebnerZeroGeneratorThrows)
	TEST (MultiPolyLayer3, MemberDirect)
	TEST (MultiPolyLayer3, NonMember)
	TEST (MultiPolyLayer3, ZeroIsAlwaysMember)
	TEST (MultiPolyLayer3, MemberViaGroebner)
	TEST (MultiPolyLayer3, IndexDivisibility_True)
	TEST (MultiPolyLayer3, IndexDivisibility_False)
	TEST (MultiPolyLayer3, ReduceExact)
	TEST (MultiPolyLayer3, ReduceNonZero)
	TEST (MultiPolyLayer3, ReduceIdempotent)
	TEST (MultiPolyLayer3, ReducedBasisSingleGen)
	TEST (MultiPolyLayer3, ReducedBasisLinear)
	TEST (MultiPolyLayer3, ReducedBasisMonicOutput)
	TEST (MultiPolyLayer3, ReducedBasisInterreductionRenormalizes)
	TEST (MultiPolyLayer3, ReducedBasisLexTriangularElimination)
	TEST (MultiPolyLayer3, ReducedBasisLexPropagationChain)
	TEST (MultiPolyLayer3, ReducedBasisRedundantLexSystemPerformance)
	TEST (MultiPolyLayer3, ReducedBasisIdealPreserved)
	TEST (MultiPolyLayer4, SumBasicContainment)
	TEST (MultiPolyLayer4, SumMembership)
	TEST (MultiPolyLayer4, SumSymmetryMembership)
	TEST (MultiPolyLayer4, SumNvarsThrows)
	TEST (MultiPolyLayer4, SumEmptyThrows)
	TEST (MultiPolyLayer4, ProductBasic)
	TEST (MultiPolyLayer4, ProductWithUnit)
	TEST (MultiPolyLayer4, ProductSubIdeal)
	TEST (MultiPolyLayer4, ProductNvarsThrows)
	TEST (MultiPolyLayer4, ProductEmptyThrows)
	TEST (MultiPolyLayer4, PowerZeroIsUnit)
	TEST (MultiPolyLayer4, PowerOneIsIdentity)
	TEST (MultiPolyLayer4, PowerTwoContainsSquares)
	TEST (MultiPolyLayer4, PowerSubIdeal)
	TEST (MultiPolyLayer4, PowerEmptyThrows)
	TEST (MultiPolyLayer4, ContainsReflexive)
	TEST (MultiPolyLayer4, ContainsSuperIdeal)
	TEST (MultiPolyLayer4, ContainsNot)
	TEST (MultiPolyLayer4, ContainsAfterSaturation)
	TEST (MultiPolyLayer4, ContainsEmptyThrows)
	TEST (MultiPolyLayer4, EqualSelf)
	TEST (MultiPolyLayer4, EqualEquivalentForms)
	TEST (MultiPolyLayer4, EqualNot)
	TEST (MultiPolyLayer4, EqualAfterReduction)
	TEST (MultiPolyLayer4, EqualEmptyThrows)
	TEST (MultiPolyLayer4, RadicalZeroAlwaysMember)
	TEST (MultiPolyLayer4, RadicalDirectMember)
	TEST (MultiPolyLayer4, RadicalOfSquare)
	TEST (MultiPolyLayer4, RadicalNonMember)
	TEST (MultiPolyLayer4, RadicalPower)
	TEST (MultiPolyLayer4, RadicalMultiVar)
	TEST (MultiPolyLayer4, RadicalEmptyThrows)
	TEST (MultiPolyLayer6, ContentZero)
	TEST (MultiPolyLayer6, ContentConstant)
	TEST (MultiPolyLayer6, ContentNegativeConstant)
	TEST (MultiPolyLayer6, ContentGcdOfCoeffs)
	TEST (MultiPolyLayer6, ContentBivariate)
	TEST (MultiPolyLayer6, ContentPrimitive)
	TEST (MultiPolyLayer6, ContentMixedSigns)
	TEST (MultiPolyLayer6, PrimitivePartZero)
	TEST (MultiPolyLayer6, PrimitivePartAlreadyPrimitive)
	TEST (MultiPolyLayer6, PrimitivePartDividesContent)
	TEST (MultiPolyLayer6, PrimitivePartContentIsOne)
	TEST (MultiPolyLayer6, PrimitivePartNegativeLeading)
	TEST (MultiPolyLayer6, HomomorphicEvalSimple)
	TEST (MultiPolyLayer6, HomomorphicEvalKeepSecondVar)
	TEST (MultiPolyLayer6, HomomorphicEvalZeroPoint)
	TEST (MultiPolyLayer6, HomomorphicEvalTrivariate)
	TEST (MultiPolyLayer6, HomomorphicEvalBadKeepVar)
	TEST (MultiPolyLayer6, HomomorphicEvalBadPtsSize)
	TEST (MultiPolyLayer6, HomomorphicEvalRoundtrip)
	TEST (MultiPolyLayer6, RecombinationSingleFactor)
	TEST (MultiPolyLayer6, RecombinationTwoFactors)
	TEST (MultiPolyLayer6, FactorizeZero)
	TEST (MultiPolyLayer6, FactorizeConstant)
	TEST (MultiPolyLayer6, FactorizeLinear)
	TEST (MultiPolyLayer6, DivmodExactSameMainDegreeFactor)
	TEST (MultiPolyLayer6, FactorizeUnivariate)
	TEST (MultiPolyLayer6, FactorizeEmbeddedUnivariate)
	TEST (MultiPolyLayer6, FactorizeEmbeddedUnivariateMultiplicity)
	TEST (MultiPolyLayer6, FactorizeEmbeddedUnivariatePreservesScalarContent)
	TEST (MultiPolyLayer6, FactorizeEmbeddedUnivariatePreservesNegativeSign)
	TEST (MultiPolyLayer6, FactorizeProductOfLinears)
	TEST (MultiPolyLayer6, FactorizeWithContent)
	TEST (MultiPolyLayer6, FactorizePreservesScalarContent)
	TEST (MultiPolyLayer6, FactorizePreservesGlobalNegativeSign)
	TEST (MultiPolyLayer6, FactorizeBivariateProduct)
	TEST (MultiPolyLayer6, FactorizeBivariateAffineMultiplicity)
	TEST (MultiPolyLayer6, FactorizeAffineTrivariateProduct)
	TEST (MultiPolyLayer6, FactorizeAffineBivariateNonMonicProduct)
	TEST (MultiPolyLayer6, FactorizeNonlinearBivariateSameMainDegreeNonMonic)
	TEST (MultiPolyLayer6, FactorizeNonlinearBivariateDistinctMainDegrees)
	TEST (MultiPolyLayer6, FactorizeNonlinearTrivariateDistinctMainDegrees)
	TEST (MultiPolyLayer6, FactorizeNonlinearBivariateSameMainDegree)
	TEST (MultiPolyLayer6, FactorizeNonlinearTrivariateSameMainDegree)
	TEST (MultiPolyLayer6, FactorizeNonlinearBivariateSameMainDegreeCubic)
	TEST (MultiPolyLayer6, FactorizeIrreducible)

Typedef Documentation

Idx

using Idx = Array<size_t>

Definition at line 22 of file multi_polynomial_test.cc.

IntGrevlexPoly

using IntGrevlexPoly = Gen_MultiPolynomial<long long, Grevlex_Order>

Definition at line 53 of file multi_polynomial_test.cc.

IntMPoly

using IntMPoly = Gen_MultiPolynomial<long long, Grevlex_Order>

Definition at line 2788 of file multi_polynomial_test.cc.

IntPoly

using IntPoly = Gen_Polynomial<long long>

Definition at line 2789 of file multi_polynomial_test.cc.

Function Documentation

expect_autoreduced_basis()

template<typename MP >

static void expect_autoreduced_basis ( const Array< MP > &  basis )

static

Definition at line 70 of file multi_polynomial_test.cc.

References Aleph::Array< T >::append(), Aleph::divide_and_conquer_partition_dp(), and r.

Referenced by TEST().

expect_buchberger_criterion()

template<typename MP >

static void expect_buchberger_criterion ( const Array< MP > &  basis )

static

Definition at line 56 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

Referenced by TEST(), and TEST().

TEST() [1/230]

TEST	(	MultiPoly	,
		AddScalarLeft
	)

Definition at line 307 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [2/230]

TEST	(	MultiPoly	,
		AddScalarRight
	)

Definition at line 296 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [3/230]

TEST	(	MultiPoly	,
		AddTwoPolynomials
	)

Definition at line 267 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [4/230]

TEST	(	MultiPoly	,
		AssociativityOfAddition
	)

Definition at line 836 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [5/230]

TEST	(	MultiPoly	,
		BinomialExpansion
	)

Definition at line 804 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), pow(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [6/230]

TEST	(	MultiPoly	,
		Cancellation
	)

Definition at line 318 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [7/230]

TEST	(	MultiPoly	,
		CancellingTerms
	)

Definition at line 168 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [8/230]

TEST	(	MultiPoly	,
		CommutativeMultiply
	)

Definition at line 459 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [9/230]

TEST	(	MultiPoly	,
		ConstantFromNvars
	)

Definition at line 107 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_constant(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars().

TEST() [10/230]

TEST	(	MultiPoly	,
		DefaultIsZero
	)

Definition at line 98 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars().

TEST() [11/230]

TEST	(	MultiPoly	,
		DegreeIn
	)

Definition at line 213 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [12/230]

TEST	(	MultiPoly	,
		DemoteThrows
	)

Definition at line 794 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [13/230]

TEST	(	MultiPoly	,
		DifferenceOfSquares
	)

Definition at line 823 of file multi_polynomial_test.cc.

References Aleph::diff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [14/230]

TEST	(	MultiPoly	,
		DistributiveLaw
	)

Definition at line 446 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [15/230]

TEST	(	MultiPoly	,
		DuplicateTermsAccumulate
	)

Definition at line 155 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [16/230]

TEST	(	MultiPoly	,
		EqualPolynomials
	)

Definition at line 591 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [17/230]

TEST	(	MultiPoly	,
		EvalConstant
	)

Definition at line 526 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval().

TEST() [18/230]

TEST	(	MultiPoly	,
		EvalFunctionCallSyntax
	)

Definition at line 566 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [19/230]

TEST	(	MultiPoly	,
		EvalLinear
	)

Definition at line 533 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [20/230]

TEST	(	MultiPoly	,
		EvalQuadratic
	)

Definition at line 547 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), pow(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [21/230]

TEST	(	MultiPoly	,
		EvalThreeVars
	)

Definition at line 558 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [22/230]

TEST	(	MultiPoly	,
		EvalTooFewComponents
	)

Definition at line 573 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [23/230]

TEST	(	MultiPoly	,
		EvaluateProduct
	)

Definition at line 849 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [24/230]

TEST	(	MultiPoly	,
		EvalZeroPolynomial
	)

Definition at line 580 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval().

TEST() [25/230]

TEST	(	MultiPoly	,
		ForEachTerm
	)

Definition at line 748 of file multi_polynomial_test.cc.

References Aleph::count(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::for_each_term().

TEST() [26/230]

TEST	(	MultiPoly	,
		GrevlexSameDegree
	)

Definition at line 661 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [27/230]

TEST	(	MultiPoly	,
		GrevlexThreeVars
	)

Definition at line 676 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [28/230]

TEST	(	MultiPoly	,
		GrlexSameDegree
	)

Definition at line 646 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [29/230]

TEST	(	MultiPoly	,
		HighDegreeMonomial
	)

Definition at line 894 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [30/230]

TEST	(	MultiPoly	,
		InitializerListConstruction
	)

Definition at line 138 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [31/230]

TEST	(	MultiPoly	,
		LeadingTermGrevlex
	)

Definition at line 227 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [32/230]

TEST	(	MultiPoly	,
		LeadingTermLex
	)

Definition at line 242 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [33/230]

TEST	(	MultiPoly	,
		LeadingTermOfZeroThrows
	)

Definition at line 257 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [34/230]

TEST	(	MultiPoly	,
		LexVsGrevlex
	)

Definition at line 621 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::leading_term().

TEST() [35/230]

TEST	(	MultiPoly	,
		MonomialFactory
	)

Definition at line 201 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), m, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::monomial().

TEST() [36/230]

TEST	(	MultiPoly	,
		MultiplyByOne
	)

Definition at line 477 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [37/230]

TEST	(	MultiPoly	,
		MultiplyByZero
	)

Definition at line 470 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [38/230]

TEST	(	MultiPoly	,
		MultiplySimple
	)

Definition at line 417 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [39/230]

TEST	(	MultiPoly	,
		MultiplySquare
	)

Definition at line 433 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [40/230]

TEST	(	MultiPoly	,
		PowOne
	)

Definition at line 498 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::pow(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [41/230]

TEST	(	MultiPoly	,
		PowThree
	)

Definition at line 514 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::pow(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [42/230]

TEST	(	MultiPoly	,
		PowTwo
	)

Definition at line 506 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::pow(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [43/230]

TEST	(	MultiPoly	,
		PowZero
	)

Definition at line 490 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_constant(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::pow(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [44/230]

TEST	(	MultiPoly	,
		PromoteAddsVariables
	)

Definition at line 774 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::promote(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [45/230]

TEST	(	MultiPoly	,
		PromoteSameNvarsIsCopy
	)

Definition at line 788 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [46/230]

TEST	(	MultiPoly	,
		ScalarDivide
	)

Definition at line 395 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [47/230]

TEST	(	MultiPoly	,
		ScalarDivideByZeroThrows
	)

Definition at line 407 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [48/230]

TEST	(	MultiPoly	,
		ScalarMultiply
	)

Definition at line 373 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [49/230]

TEST	(	MultiPoly	,
		ScalarMultiplyByZero
	)

Definition at line 388 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [50/230]

TEST	(	MultiPoly	,
		SelfAddition
	)

Definition at line 286 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [51/230]

TEST	(	MultiPoly	,
		SelfSubtraction
	)

Definition at line 325 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [52/230]

TEST	(	MultiPoly	,
		SingleTerm
	)

Definition at line 126 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [53/230]

TEST	(	MultiPoly	,
		SingleVariablePolyBehavesLikeUnivariate
	)

Definition at line 866 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [54/230]

TEST	(	MultiPoly	,
		SparseHighDegreePerformance
	)

Definition at line 905 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [55/230]

TEST	(	MultiPoly	,
		StreamOutput
	)

Definition at line 736 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [56/230]

TEST	(	MultiPoly	,
		SubtractScalarLeft
	)

Definition at line 346 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [57/230]

TEST	(	MultiPoly	,
		SubtractScalarRight
	)

Definition at line 335 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [58/230]

TEST	(	MultiPoly	,
		TermsList
	)

Definition at line 760 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [59/230]

TEST	(	MultiPoly	,
		ToStrConstant
	)

Definition at line 718 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_str().

TEST() [60/230]

TEST	(	MultiPoly	,
		ToStrNegativeCoeff
	)

Definition at line 730 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [61/230]

TEST	(	MultiPoly	,
		ToStrSingleVar
	)

Definition at line 724 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [62/230]

TEST	(	MultiPoly	,
		ToStrZero
	)

Definition at line 712 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_str().

TEST() [63/230]

TEST	(	MultiPoly	,
		UnaryNegation
	)

Definition at line 357 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [64/230]

TEST	(	MultiPoly	,
		UnequalPolynomials
	)

Definition at line 602 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [65/230]

TEST	(	MultiPoly	,
		VariableFactory
	)

Definition at line 182 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [66/230]

TEST	(	MultiPoly	,
		VariableOutOfRange
	)

Definition at line 196 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [67/230]

TEST	(	MultiPoly	,
		ZeroConstantIsZero
	)

Definition at line 118 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars().

TEST() [68/230]

TEST	(	MultiPoly	,
		ZeroEqualsZero
	)

Definition at line 610 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [69/230]

TEST	(	MultiPoly	,
		ZeroVariablePolynomial
	)

Definition at line 883 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_constant(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars().

TEST() [70/230]

TEST	(	MultiPolyLayer2	,
		FitEmptyDataThrows
	)

Definition at line 982 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit().

TEST() [71/230]

TEST	(	MultiPolyLayer2	,
		FitExactLinear2D
	)

Definition at line 935 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit().

TEST() [72/230]

TEST	(	MultiPolyLayer2	,
		FitWeightedBasic
	)

Definition at line 960 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_weighted().

TEST() [73/230]

TEST	(	MultiPolyLayer3	,
		DivisionByConstant
	)

Definition at line 1744 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [74/230]

TEST	(	MultiPolyLayer3	,
		DivisionExact
	)

Definition at line 1759 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), r, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [75/230]

TEST	(	MultiPolyLayer3	,
		DivisionWithRemainder
	)

Definition at line 1772 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), r, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [76/230]

TEST	(	MultiPolyLayer3	,
		DivisorZeroThrows
	)

Definition at line 1816 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod().

TEST() [77/230]

TEST	(	MultiPolyLayer3	,
		DivmodIdentityCheck
	)

Definition at line 1834 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), r, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [78/230]

TEST	(	MultiPolyLayer3	,
		EmptyDivisorsThrows
	)

Definition at line 1825 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod().

TEST() [79/230]

TEST	(	MultiPolyLayer3	,
		GroebnerAutoreducesInitialGenerators
	)

Definition at line 1946 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [80/230]

TEST	(	MultiPolyLayer3	,
		GroebnerBasisAutoreducesIntermediateElements
	)

Definition at line 1978 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), expect_autoreduced_basis(), expect_buchberger_criterion(), and y.

TEST() [81/230]

TEST	(	MultiPolyLayer3	,
		GroebnerBasisSatisfiesBuchbergerCriterionRandomized
	)

Definition at line 2030 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), expect_buchberger_criterion(), m, rng, and OhashCommon< HashTbl, Key >::size().

TEST() [82/230]

TEST	(	MultiPolyLayer3	,
		GroebnerEmptyThrows
	)

Definition at line 2083 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis().

TEST() [83/230]

TEST	(	MultiPolyLayer3	,
		GroebnerLexEliminationSystem
	)

Definition at line 2010 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and y.

TEST() [84/230]

TEST	(	MultiPolyLayer3	,
		GroebnerLinearIdeal
	)

Definition at line 1930 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [85/230]

TEST	(	MultiPolyLayer3	,
		GroebnerQuadratic2D
	)

Definition at line 1962 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [86/230]

TEST	(	MultiPolyLayer3	,
		GroebnerSingleGenerator
	)

Definition at line 1918 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [87/230]

TEST	(	MultiPolyLayer3	,
		GroebnerZeroGeneratorThrows
	)

Definition at line 2090 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::groebner_basis().

TEST() [88/230]

TEST	(	MultiPolyLayer3	,
		IndexDivisibility_False
	)

Definition at line 2162 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [89/230]

TEST	(	MultiPolyLayer3	,
		IndexDivisibility_True
	)

Definition at line 2150 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [90/230]

TEST	(	MultiPolyLayer3	,
		IntegerDivisionNonExactLeadingCoeffFallsToRemainder
	)

Definition at line 1849 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [91/230]

TEST	(	MultiPolyLayer3	,
		MemberDirect
	)

Definition at line 2101 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [92/230]

TEST	(	MultiPolyLayer3	,
		MemberViaGroebner
	)

Definition at line 2135 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [93/230]

TEST	(	MultiPolyLayer3	,
		MultiDivisor
	)

Definition at line 1786 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), r, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [94/230]

TEST	(	MultiPolyLayer3	,
		NonMember
	)

Definition at line 2112 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [95/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisIdealPreserved
	)

Definition at line 2387 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduce_modulo(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [96/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisInterreductionRenormalizes
	)

Definition at line 2267 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [97/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisLexPropagationChain
	)

Definition at line 2316 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), w, and y.

TEST() [98/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisLexTriangularElimination
	)

Definition at line 2287 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and y.

TEST() [99/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisLinear
	)

Definition at line 2236 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [100/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisMonicOutput
	)

Definition at line 2253 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [101/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisRedundantLexSystemPerformance
	)

Definition at line 2348 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), w, and y.

TEST() [102/230]

TEST	(	MultiPolyLayer3	,
		ReducedBasisSingleGen
	)

Definition at line 2224 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduced_groebner_basis(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [103/230]

TEST	(	MultiPolyLayer3	,
		ReduceExact
	)

Definition at line 2176 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), r, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduce_modulo(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [104/230]

TEST	(	MultiPolyLayer3	,
		ReduceIdempotent
	)

Definition at line 2203 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduce_modulo(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [105/230]

TEST	(	MultiPolyLayer3	,
		ReduceNonZero
	)

Definition at line 2189 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), r, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::reduce_modulo(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [106/230]

TEST	(	MultiPolyLayer3	,
		SPolyCancellation
	)

Definition at line 1878 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::s_poly().

TEST() [107/230]

TEST	(	MultiPolyLayer3	,
		SPolyIncompatibleNvarsThrows
	)

Definition at line 1906 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::s_poly(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [108/230]

TEST	(	MultiPolyLayer3	,
		SPolyLinear
	)

Definition at line 1866 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::s_poly(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [109/230]

TEST	(	MultiPolyLayer3	,
		SPolyZeroFThrows
	)

Definition at line 1890 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::s_poly(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [110/230]

TEST	(	MultiPolyLayer3	,
		SPolyZeroGThrows
	)

Definition at line 1898 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::s_poly(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [111/230]

TEST	(	MultiPolyLayer3	,
		ZeroDividend
	)

Definition at line 1803 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), r, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [112/230]

TEST	(	MultiPolyLayer3	,
		ZeroIsAlwaysMember
	)

Definition at line 2124 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [113/230]

TEST	(	MultiPolyLayer4	,
		ContainsAfterSaturation
	)

Definition at line 2634 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::contains_ideal(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [114/230]

TEST	(	MultiPolyLayer4	,
		ContainsEmptyThrows
	)

Definition at line 2649 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::contains_ideal(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [115/230]

TEST	(	MultiPolyLayer4	,
		ContainsNot
	)

Definition at line 2624 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::contains_ideal(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [116/230]

TEST	(	MultiPolyLayer4	,
		ContainsReflexive
	)

Definition at line 2606 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::contains_ideal(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [117/230]

TEST	(	MultiPolyLayer4	,
		ContainsSuperIdeal
	)

Definition at line 2614 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::contains_ideal(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [118/230]

TEST	(	MultiPolyLayer4	,
		EqualAfterReduction
	)

Definition at line 2693 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideals_equal(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [119/230]

TEST	(	MultiPolyLayer4	,
		EqualEmptyThrows
	)

Definition at line 2705 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideals_equal(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [120/230]

TEST	(	MultiPolyLayer4	,
		EqualEquivalentForms
	)

Definition at line 2671 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideals_equal(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [121/230]

TEST	(	MultiPolyLayer4	,
		EqualNot
	)

Definition at line 2683 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideals_equal(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [122/230]

TEST	(	MultiPolyLayer4	,
		EqualSelf
	)

Definition at line 2663 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideals_equal(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [123/230]

TEST	(	MultiPolyLayer4	,
		PowerEmptyThrows
	)

Definition at line 2596 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_power().

TEST() [124/230]

TEST	(	MultiPolyLayer4	,
		PowerOneIsIdentity
	)

Definition at line 2560 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_power(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [125/230]

TEST	(	MultiPolyLayer4	,
		PowerSubIdeal
	)

Definition at line 2584 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_power(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [126/230]

TEST	(	MultiPolyLayer4	,
		PowerTwoContainsSquares
	)

Definition at line 2571 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_power(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [127/230]

TEST	(	MultiPolyLayer4	,
		PowerZeroIsUnit
	)

Definition at line 2547 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_power(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [128/230]

TEST	(	MultiPolyLayer4	,
		ProductBasic
	)

Definition at line 2481 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [129/230]

TEST	(	MultiPolyLayer4	,
		ProductEmptyThrows
	)

Definition at line 2533 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [130/230]

TEST	(	MultiPolyLayer4	,
		ProductNvarsThrows
	)

Definition at line 2522 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [131/230]

TEST	(	MultiPolyLayer4	,
		ProductSubIdeal
	)

Definition at line 2509 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [132/230]

TEST	(	MultiPolyLayer4	,
		ProductWithUnit
	)

Definition at line 2495 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [133/230]

TEST	(	MultiPolyLayer4	,
		RadicalDirectMember
	)

Definition at line 2727 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [134/230]

TEST	(	MultiPolyLayer4	,
		RadicalEmptyThrows
	)

Definition at line 2776 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [135/230]

TEST	(	MultiPolyLayer4	,
		RadicalMultiVar
	)

Definition at line 2764 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [136/230]

TEST	(	MultiPolyLayer4	,
		RadicalNonMember
	)

Definition at line 2745 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [137/230]

TEST	(	MultiPolyLayer4	,
		RadicalOfSquare
	)

Definition at line 2736 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [138/230]

TEST	(	MultiPolyLayer4	,
		RadicalPower
	)

Definition at line 2755 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [139/230]

TEST	(	MultiPolyLayer4	,
		RadicalZeroAlwaysMember
	)

Definition at line 2719 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::radical_member(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [140/230]

TEST	(	MultiPolyLayer4	,
		SumBasicContainment
	)

Definition at line 2414 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_sum(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [141/230]

TEST	(	MultiPolyLayer4	,
		SumEmptyThrows
	)

Definition at line 2467 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_sum(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [142/230]

TEST	(	MultiPolyLayer4	,
		SumMembership
	)

Definition at line 2427 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_sum(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [143/230]

TEST	(	MultiPolyLayer4	,
		SumNvarsThrows
	)

Definition at line 2456 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_sum(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [144/230]

TEST	(	MultiPolyLayer4	,
		SumSymmetryMembership
	)

Definition at line 2443 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_member(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::ideal_sum(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [145/230]

TEST	(	MultiPolyLayer6	,
		ContentBivariate
	)

Definition at line 2824 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [146/230]

TEST	(	MultiPolyLayer6	,
		ContentConstant
	)

Definition at line 2801 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [147/230]

TEST	(	MultiPolyLayer6	,
		ContentGcdOfCoeffs
	)

Definition at line 2814 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [148/230]

TEST	(	MultiPolyLayer6	,
		ContentMixedSigns
	)

Definition at line 2843 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [149/230]

TEST	(	MultiPolyLayer6	,
		ContentNegativeConstant
	)

Definition at line 2807 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [150/230]

TEST	(	MultiPolyLayer6	,
		ContentPrimitive
	)

Definition at line 2834 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), and Aleph::divide_and_conquer_partition_dp().

TEST() [151/230]

TEST	(	MultiPolyLayer6	,
		ContentZero
	)

Definition at line 2795 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), Aleph::divide_and_conquer_partition_dp(), and LL.

TEST() [152/230]

TEST	(	MultiPolyLayer6	,
		DivmodExactSameMainDegreeFactor
	)

Definition at line 3111 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::divmod(), r, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [153/230]

TEST	(	MultiPolyLayer6	,
		FactorizeAffineBivariateNonMonicProduct
	)

Definition at line 3428 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [154/230]

TEST	(	MultiPolyLayer6	,
		FactorizeAffineTrivariateProduct
	)

Definition at line 3382 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), LL, m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [155/230]

TEST	(	MultiPolyLayer6	,
		FactorizeBivariateAffineMultiplicity
	)

Definition at line 3364 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [156/230]

TEST	(	MultiPolyLayer6	,
		FactorizeBivariateProduct
	)

Definition at line 3333 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [157/230]

TEST	(	MultiPolyLayer6	,
		FactorizeConstant
	)

Definition at line 3089 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize().

TEST() [158/230]

TEST	(	MultiPolyLayer6	,
		FactorizeEmbeddedUnivariate
	)

Definition at line 3154 of file multi_polynomial_test.cc.

References Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [159/230]

TEST	(	MultiPolyLayer6	,
		FactorizeEmbeddedUnivariateMultiplicity
	)

Definition at line 3175 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [160/230]

TEST	(	MultiPolyLayer6	,
		FactorizeEmbeddedUnivariatePreservesNegativeSign
	)

Definition at line 3217 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [161/230]

TEST	(	MultiPolyLayer6	,
		FactorizeEmbeddedUnivariatePreservesScalarContent
	)

Definition at line 3192 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [162/230]

TEST	(	MultiPolyLayer6	,
		FactorizeIrreducible
	)

Definition at line 3661 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), LL, m, and Aleph::product().

TEST() [163/230]

TEST	(	MultiPolyLayer6	,
		FactorizeLinear
	)

Definition at line 3096 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::count(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize().

TEST() [164/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearBivariateDistinctMainDegrees
	)

Definition at line 3494 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [165/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearBivariateSameMainDegree
	)

Definition at line 3561 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [166/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearBivariateSameMainDegreeCubic
	)

Definition at line 3628 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [167/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearBivariateSameMainDegreeNonMonic
	)

Definition at line 3461 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [168/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearTrivariateDistinctMainDegrees
	)

Definition at line 3527 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [169/230]

TEST	(	MultiPolyLayer6	,
		FactorizeNonlinearTrivariateSameMainDegree
	)

Definition at line 3594 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [170/230]

TEST	(	MultiPolyLayer6	,
		FactorizePreservesGlobalNegativeSign
	)

Definition at line 3310 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [171/230]

TEST	(	MultiPolyLayer6	,
		FactorizePreservesScalarContent
	)

Definition at line 3287 of file multi_polynomial_test.cc.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, Aleph::product(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [172/230]

TEST	(	MultiPolyLayer6	,
		FactorizeProductOfLinears
	)

Definition at line 3242 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, and Aleph::product().

TEST() [173/230]

TEST	(	MultiPolyLayer6	,
		FactorizeUnivariate
	)

Definition at line 3127 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize(), m, and Aleph::product().

TEST() [174/230]

TEST	(	MultiPolyLayer6	,
		FactorizeWithContent
	)

Definition at line 3270 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::content(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [175/230]

TEST	(	MultiPolyLayer6	,
		FactorizeZero
	)

Definition at line 3082 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factorize().

TEST() [176/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalBadKeepVar
	)

Definition at line 2984 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval(), and LL.

TEST() [177/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalBadPtsSize
	)

Definition at line 2991 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval(), and LL.

TEST() [178/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalKeepSecondVar
	)

Definition at line 2932 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval().

TEST() [179/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalRoundtrip
	)

Definition at line 2998 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval(), and LL.

TEST() [180/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalSimple
	)

Definition at line 2915 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval().

TEST() [181/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalTrivariate
	)

Definition at line 2966 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval(), and LL.

TEST() [182/230]

TEST	(	MultiPolyLayer6	,
		HomomorphicEvalZeroPoint
	)

Definition at line 2949 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::homomorphic_eval(), and LL.

TEST() [183/230]

TEST	(	MultiPolyLayer6	,
		PrimitivePartAlreadyPrimitive
	)

Definition at line 2864 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [184/230]

TEST	(	MultiPolyLayer6	,
		PrimitivePartContentIsOne
	)

Definition at line 2888 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [185/230]

TEST	(	MultiPolyLayer6	,
		PrimitivePartDividesContent
	)

Definition at line 2875 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [186/230]

TEST	(	MultiPolyLayer6	,
		PrimitivePartNegativeLeading
	)

Definition at line 2899 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::divide_and_conquer_partition_dp(), LL, and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [187/230]

TEST	(	MultiPolyLayer6	,
		PrimitivePartZero
	)

Definition at line 2857 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::primitive_part().

TEST() [188/230]

TEST	(	MultiPolyLayer6	,
		RecombinationSingleFactor
	)

Definition at line 3029 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::count(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factor_recombination().

TEST() [189/230]

TEST	(	MultiPolyLayer6	,
		RecombinationTwoFactors
	)

Definition at line 3045 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::add_to_coeff(), Aleph::count(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::factor_recombination(), and Aleph::product().

TEST() [190/230]

TEST	(	MultiPolyPhase1Integration	,
		RidgeAndAnalysis
	)

Definition at line 1178 of file multi_polynomial_test.cc.

References Aleph::analyze_fit(), Aleph::divide_and_conquer_partition_dp(), Aleph::PolyFitAnalysis< C >::ess, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_ridge(), Aleph::PolyFitAnalysis< C >::r_squared, Aleph::PolyFitAnalysis< C >::rmse, Aleph::PolyFitAnalysis< C >::rss, and Aleph::PolyFitAnalysis< C >::tss.

TEST() [191/230]

TEST	(	MultiPolyPhase1ResidualAnalysis	,
		AnalyzeExactFit
	)

Definition at line 1075 of file multi_polynomial_test.cc.

References Aleph::analyze_fit(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit(), Aleph::PolyFitAnalysis< C >::r_squared, Aleph::PolyFitAnalysis< C >::residuals, Aleph::PolyFitAnalysis< C >::rmse, and Aleph::Array< T >::size().

TEST() [192/230]

TEST	(	MultiPolyPhase1ResidualAnalysis	,
		AnalyzeWithError
	)

Definition at line 1099 of file multi_polynomial_test.cc.

References Aleph::analyze_fit(), Aleph::divide_and_conquer_partition_dp(), Aleph::PolyFitAnalysis< C >::ess, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit(), Aleph::PolyFitAnalysis< C >::r_squared, Aleph::PolyFitAnalysis< C >::residuals, Aleph::PolyFitAnalysis< C >::rmse, Aleph::PolyFitAnalysis< C >::rss, Aleph::Array< T >::size(), and Aleph::PolyFitAnalysis< C >::tss.

TEST() [193/230]

TEST	(	MultiPolyPhase1ResidualAnalysis	,
		IntegerMeanUsesFloatingPointAverage
	)

Definition at line 1163 of file multi_polynomial_test.cc.

References Aleph::analyze_fit(), Aleph::divide_and_conquer_partition_dp(), LL, Aleph::PolyFitAnalysis< C >::mean_y, Aleph::PolyFitAnalysis< C >::residuals, and Aleph::PolyFitAnalysis< C >::tss.

TEST() [194/230]

TEST	(	MultiPolyPhase1ResidualAnalysis	,
		MeanAndSSCalculations
	)

Definition at line 1132 of file multi_polynomial_test.cc.

References Aleph::analyze_fit(), Aleph::divide_and_conquer_partition_dp(), Aleph::PolyFitAnalysis< C >::ess, Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit(), Aleph::PolyFitAnalysis< C >::mean_y, Aleph::PolyFitAnalysis< C >::r_squared, Aleph::PolyFitAnalysis< C >::rmse, Aleph::PolyFitAnalysis< C >::rss, and Aleph::PolyFitAnalysis< C >::tss.

TEST() [195/230]

TEST	(	MultiPolyPhase1Ridge	,
		BasicRidgeLinear2D
	)

Definition at line 996 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_ridge().

TEST() [196/230]

TEST	(	MultiPolyPhase1Ridge	,
		RidgeVsPlainFit
	)

Definition at line 1025 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_ridge().

TEST() [197/230]

TEST	(	MultiPolyPhase1Ridge	,
		RidgeWithNoisy1D
	)

Definition at line 1048 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_ridge().

TEST() [198/230]

TEST	(	MultiPolyPhase2	,
		BinaryMultiTerm
	)

Definition at line 1650 of file multi_polynomial_test.cc.

References Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::coeff_at(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::from_binary(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_terms(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::num_vars(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_binary().

TEST() [199/230]

TEST	(	MultiPolyPhase2	,
		BinaryRoundtrip
	)

Definition at line 1634 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::from_binary(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_binary().

TEST() [200/230]

TEST	(	MultiPolyPhase2	,
		EvalBatchCorrectness
	)

Definition at line 1675 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_batch(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [201/230]

TEST	(	MultiPolyPhase2	,
		EvalBatchMatchesEval
	)

Definition at line 1694 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [202/230]

TEST	(	MultiPolyPhase2	,
		EvalGradientAtPoint
	)

Definition at line 1409 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_gradient().

TEST() [203/230]

TEST	(	MultiPolyPhase2	,
		EvalGradientLinear
	)

Definition at line 1396 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_gradient().

TEST() [204/230]

TEST	(	MultiPolyPhase2	,
		EvalGradTooFewComponentsThrows
	)

Definition at line 1437 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_gradient().

TEST() [205/230]

TEST	(	MultiPolyPhase2	,
		EvalHessianQuadratic
	)

Definition at line 1421 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_hessian().

TEST() [206/230]

TEST	(	MultiPolyPhase2	,
		EvalHessianTooFewComponentsThrows
	)

Definition at line 1443 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval_hessian().

TEST() [207/230]

TEST	(	MultiPolyPhase2	,
		FitParallelMatchesFit
	)

Definition at line 1712 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::fit_parallel().

TEST() [208/230]

TEST	(	MultiPolyPhase2	,
		GradientLinear
	)

Definition at line 1319 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::gradient().

TEST() [209/230]

TEST	(	MultiPolyPhase2	,
		GradientQuadratic
	)

Definition at line 1331 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::gradient().

TEST() [210/230]

TEST	(	MultiPolyPhase2	,
		GradientSize
	)

Definition at line 1312 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::gradient().

TEST() [211/230]

TEST	(	MultiPolyPhase2	,
		HessianLinearIsZero
	)

Definition at line 1354 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::hessian(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [212/230]

TEST	(	MultiPolyPhase2	,
		HessianQuadratic
	)

Definition at line 1366 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::hessian().

TEST() [213/230]

TEST	(	MultiPolyPhase2	,
		HessianSize
	)

Definition at line 1345 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::hessian(), and Aleph::size().

TEST() [214/230]

TEST	(	MultiPolyPhase2	,
		HessianSymmetry
	)

Definition at line 1382 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::hessian(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.

TEST() [215/230]

TEST	(	MultiPolyPhase2	,
		InterpolateBivariate2x2
	)

Definition at line 1501 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [216/230]

TEST	(	MultiPolyPhase2	,
		InterpolateBivariate3x2
	)

Definition at line 1537 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [217/230]

TEST	(	MultiPolyPhase2	,
		InterpolateDuplicateNodesThrows
	)

Definition at line 1594 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [218/230]

TEST	(	MultiPolyPhase2	,
		InterpolateSizeMismatchThrows
	)

Definition at line 1583 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [219/230]

TEST	(	MultiPolyPhase2	,
		InterpolateUnivariateLinear
	)

Definition at line 1453 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [220/230]

TEST	(	MultiPolyPhase2	,
		InterpolateUnivariateQuad
	)

Definition at line 1476 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::eval(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::interpolate().

TEST() [221/230]

TEST	(	MultiPolyPhase2	,
		JsonRoundtrip
	)

Definition at line 1608 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::from_json(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_json().

TEST() [222/230]

TEST	(	MultiPolyPhase2	,
		JsonZeroPoly
	)

Definition at line 1622 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::from_json(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::to_json().

TEST() [223/230]

TEST	(	MultiPolyPhase2	,
		PartialConstantIsZero
	)

Definition at line 1224 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::is_zero(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [224/230]

TEST	(	MultiPolyPhase2	,
		PartialHigherOrder
	)

Definition at line 1278 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [225/230]

TEST	(	MultiPolyPhase2	,
		PartialLinearVar0
	)

Definition at line 1231 of file multi_polynomial_test.cc.

References Aleph::df(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [226/230]

TEST	(	MultiPolyPhase2	,
		PartialLinearVar1
	)

Definition at line 1243 of file multi_polynomial_test.cc.

References Aleph::df(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [227/230]

TEST	(	MultiPolyPhase2	,
		PartialOutOfRangeThrows
	)

Definition at line 1302 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [228/230]

TEST	(	MultiPolyPhase2	,
		PartialQuadraticRule
	)

Definition at line 1255 of file multi_polynomial_test.cc.

References Aleph::df(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial().

TEST() [229/230]

TEST	(	MultiPolyPhase2	,
		PartialVanishingTerm
	)

Definition at line 1269 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial(), and Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable().

TEST() [230/230]

TEST	(	MultiPolyPhase2	,
		PartialZeroOrderReturnsSelf
	)

Definition at line 1293 of file multi_polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::partial(), Aleph::Gen_MultiPolynomial< Coefficient, MonomOrder >::variable(), and y.