polynomial_test.cc File Reference

#include <gtest/gtest.h>
#include <chrono>
#include <cmath>
#include <limits>
#include <random>
#include <string>
#include <sstream>
#include <stdexcept>
#include <tpl_polynomial.H>

Include dependency graph for polynomial_test.cc:

Go to the source code of this file.

Functions
	TEST (Polynomial, DefaultIsZero)
	TEST (Polynomial, AbsToU64HandlesSignedMinimum)
	TEST (Polynomial, ConstantPolynomial)
	TEST (Polynomial, ZeroConstantIsZeroPoly)
	TEST (Polynomial, MonomialConstruction)
	TEST (Polynomial, InitializerListDense)
	TEST (Polynomial, DynListDense)
	TEST (Polynomial, SparseConstruction)
	TEST (Polynomial, SparseConstructionMergesDuplicateExponents)
	TEST (Polynomial, AllZerosIsZero)
	TEST (Polynomial, CopyConstructor)
	TEST (Polynomial, MoveConstructor)
	TEST (Polynomial, CopyAssignment)
	TEST (Polynomial, MoveAssignment)
	TEST (Polynomial, DegreeOfQuadratic)
	TEST (Polynomial, DegreeOfConstant)
	TEST (Polynomial, LeadingCoefficient)
	TEST (Polynomial, LeadingCoeffOfZero)
	TEST (Polynomial, IsMonic)
	TEST (Polynomial, HasTerm)
	TEST (Polynomial, OperatorBracketReturnsZeroForAbsent)
	TEST (Polynomial, EvalConstant)
	TEST (Polynomial, EvalLinear)
	TEST (Polynomial, EvalQuadratic)
	TEST (Polynomial, EvalZeroPoly)
	TEST (Polynomial, EvalCallOperator)
	TEST (Polynomial, EvalSparseHighDegree)
	TEST (Polynomial, AddTwoPolynomials)
	TEST (Polynomial, AddInPlace)
	TEST (Polynomial, AddInPlaceSelf)
	TEST (Polynomial, AddScalarRight)
	TEST (Polynomial, AddScalarLeft)
	TEST (Polynomial, SubtractPolynomials)
	TEST (Polynomial, SubtractFromItself)
	TEST (Polynomial, SubtractInPlaceSelf)
	TEST (Polynomial, SubtractScalarRight)
	TEST (Polynomial, SubtractScalarLeft)
	TEST (Polynomial, UnaryNegation)
	TEST (Polynomial, MultiplyPolynomials)
	TEST (Polynomial, MultiplyByZero)
	TEST (Polynomial, MultiplyByConstant)
	TEST (Polynomial, ScalarMultiply)
	TEST (Polynomial, ScalarDivide)
	TEST (Polynomial, ScalarDivideByZeroThrows)
	TEST (Polynomial, DivideByLinear)
	TEST (Polynomial, DivideWithRemainder)
	TEST (Polynomial, DivideByHigherDegree)
	TEST (Polynomial, DivideByZeroThrows)
	TEST (Polynomial, DivisionIdentity)
	TEST (Polynomial, QuotientAndModOperators)
	TEST (Polynomial, RandomizedPolynomialProperties)
	TEST (Polynomial, DerivativeOfConstant)
	TEST (Polynomial, DerivativeOfLinear)
	TEST (Polynomial, DerivativeOfQuadratic)
	TEST (Polynomial, DerivativeOfZero)
	TEST (Polynomial, IntegralBasic)
	TEST (Polynomial, IntegralWithConstant)
	TEST (Polynomial, IntegralDerivativeRoundTrip)
	TEST (Polynomial, NthDerivative)
	TEST (Polynomial, ComposeLinear)
	TEST (Polynomial, ComposeIdentity)
	TEST (Polynomial, PowerZero)
	TEST (Polynomial, PowerOne)
	TEST (Polynomial, PowerSquare)
	TEST (Polynomial, PowerCube)
	TEST (Polynomial, GCDBasic)
	TEST (Polynomial, GCDCoprime)
	TEST (Polynomial, EqualPolynomials)
	TEST (Polynomial, UnequalPolynomials)
	TEST (Polynomial, ZeroPolynomialsEqual)
	TEST (Polynomial, EqualDifferentConstruction)
	TEST (Polynomial, FromRootsLinear)
	TEST (Polynomial, FromRootsQuadratic)
	TEST (Polynomial, XToN)
	TEST (Polynomial, ZeroAndOneFactories)
	TEST (Polynomial, InterpolateTwoPoints)
	TEST (Polynomial, InterpolateQuadratic)
	TEST (Polynomial, InterpolateEmptyThrows)
	TEST (Polynomial, InterpolateDuplicateXThrows)
	TEST (Polynomial, ForEachTerm)
	TEST (Polynomial, TermsList)
	TEST (Polynomial, Exponents)
	TEST (Polynomial, Coefficients)
	TEST (Polynomial, ToStrZero)
	TEST (Polynomial, ToStrConstant)
	TEST (Polynomial, ToStrLinear)
	TEST (Polynomial, StreamOperator)
	TEST (Polynomial, CancellationToZero)
	TEST (Polynomial, HighDegreeSparse)
	TEST (Polynomial, SelfMultiply)
	TEST (Polynomial, SelfAdd)
	TEST (Polynomial, IntegerCoefficients)
	TEST (Polynomial, IntegerMultiplication)
	TEST (Polynomial, IntegerDivision)
	TEST (Polynomial, DerivativeThenEval)
	TEST (Polynomial, ComposeWithConstant)
	TEST (Polynomial, FromRootsThenEval)
	TEST (Polynomial, HornerEvalDense)
	TEST (Polynomial, SparseEvalMatches)
	TEST (Polynomial, EvalAdaptiveSelectsCorrectly)
	TEST (Polynomial, HornerEvalZeroPoly)
	TEST (Polynomial, MultiEval)
	TEST (Polynomial, MultiEvalEmpty)
	TEST (Polynomial, DefiniteIntegralLinear)
	TEST (Polynomial, DefiniteIntegralQuadratic)
	TEST (Polynomial, DefiniteIntegralSymmetric)
	TEST (Polynomial, XgcdBasic)
	TEST (Polynomial, XgcdCoprime)
	TEST (Polynomial, LcmBasic)
	TEST (Polynomial, LcmWithZero)
	TEST (Polynomial, PseudoDivmod)
	TEST (Polynomial, PseudoDivmodZeroDivisorThrows)
	TEST (Polynomial, ToMonic)
	TEST (Polynomial, ToMonicZeroThrows)
	TEST (Polynomial, ReversePolynomial)
	TEST (Polynomial, ReverseOfZero)
	TEST (Polynomial, ReversePalindrome)
	TEST (Polynomial, NegateArg)
	TEST (Polynomial, NegateArgVerify)
	TEST (Polynomial, Shift)
	TEST (Polynomial, ShiftVerify)
	TEST (Polynomial, ShiftUp)
	TEST (Polynomial, ShiftDown)
	TEST (Polynomial, ShiftDownDiscardsLowerTerms)
	TEST (Polynomial, Truncate)
	TEST (Polynomial, TruncateBeyondDegree)
	TEST (Polynomial, ToDense)
	TEST (Polynomial, ToDenseOfZero)
	TEST (Polynomial, ToDenseSparse)
	TEST (Polynomial, SquareFreeBasic)
	TEST (Polynomial, SquareFreeAlreadySquareFree)
	TEST (Polynomial, CauchyBound)
	TEST (Polynomial, CauchyBoundConstant)
	TEST (Polynomial, CauchyBoundZeroThrows)
	TEST (Polynomial, CauchyBoundIntegralRoundsUpFractionalRatio)
	TEST (Polynomial, SignVariationsPositiveRoots)
	TEST (Polynomial, SignVariationsNoChanges)
	TEST (Polynomial, SignVariationsZero)
	TEST (Polynomial, SturmChainLinear)
	TEST (Polynomial, CountRealRootsQuadratic)
	TEST (Polynomial, CountRealRootsCubic)
	TEST (Polynomial, CountRealRootsReversedInterval)
	TEST (Polynomial, CountAllRealRoots)
	TEST (Polynomial, CountRealRootsZeroPolynomial)
	TEST (Polynomial, CountRealRootsNoReal)
	TEST (Polynomial, BisectRootLinear)
	TEST (Polynomial, BisectRootQuadratic)
	TEST (Polynomial, BisectRootSameSignThrows)
	TEST (Polynomial, BisectRootReversedBounds)
	TEST (Polynomial, NewtonRootLinear)
	TEST (Polynomial, NewtonRootQuadratic)
	TEST (Polynomial, NewtonRootCubic)
	TEST (Polynomial, NewtonRootZeroDerivativeThrows)
	TEST (Polynomial, ShiftUpDownRoundTrip)
	TEST (Polynomial, ShiftUpZero)
	TEST (Polynomial, TruncateIsModXN)
	TEST (PolyLayer5, ContentBasic)
	TEST (PolyLayer5, ContentMonic)
	TEST (PolyLayer5, ContentNegativeLeading)
	TEST (PolyLayer5, ContentZero)
	TEST (PolyLayer5, PrimitivePartDividesByContent)
	TEST (PolyLayer5, PrimitivePartLeadPositive)
	TEST (PolyLayer5, PrimitivePartZeroPoly)
	TEST (PolyLayer5, IntegerExactQuotZeroDivisorThrows)
	TEST (PolyLayer5, IntegerExactQuotConstantDivisorPreservesExactQuotient)
	TEST (PolyLayer5, IntegerExactQuotConstantDivisorRejectsInexactDivision)
	TEST (PolyLayer5, IntegerExactQuotRejectsNonZeroPseudoDivisionRemainder)
	TEST (PolyLayer5, IntegerGcdLinearLinear)
	TEST (PolyLayer5, IntegerGcdCommonFactor)
	TEST (PolyLayer5, IntegerGcdCoprime)
	TEST (PolyLayer5, IntegerGcdHighDegree)
	TEST (PolyLayer5, YunSfdSquareFree)
	TEST (PolyLayer5, YunSfdRepeatedDeg2)
	TEST (PolyLayer5, YunSfdMixedDeg3)
	TEST (PolyLayer5, YunSfdDeg4Triple)
	TEST (PolyLayer5, YunSfdConstant)
	TEST (PolyLayer5, FactorModPLinear)
	TEST (PolyLayer5, FactorModPQuadSplits)
	TEST (PolyLayer5, FactorModPCubic3Roots)
	TEST (PolyLayer5, FactorModPIrred)
	TEST (PolyLayer5, FactorModPProduct)
	TEST (PolyLayer5, FactorModPRepeatedRootMultiplicity)
	TEST (PolyLayer5, FactorModPRejectsInvalidModulus)
	TEST (PolyLayer5, MignotteBoundLinear)
	TEST (PolyLayer5, MignotteBoundDeg4)
	TEST (PolyLayer5, HenselLiftPair)
	TEST (PolyLayer5, HenselLiftCubic)
	TEST (PolyLayer5, HenselLiftLevel2)
	TEST (PolyLayer5, HenselLiftSingle)
	TEST (PolyLayer5, HenselLiftRejectsInvalidParameters)
	TEST (PolyLayer5, HenselLiftRejectsModulusGrowthOverflow)
	TEST (PolyLayer5, FactorizeX4Minus1)
	TEST (PolyLayer5, FactorizeQuarticIntoQuadratics)
	TEST (PolyLayer5, FactorizeNonMonicQuarticIntoQuadratics)
	TEST (PolyLayer5, FactorizeSexticIntoCubics)
	TEST (PolyLayer5, FactorizeX3)
	TEST (PolyLayer5, FactorizeMultipleRoots)
	TEST (PolyLayer5, FactorizeRationalLinearFactors)
	TEST (PolyLayer5, FactorizePreservesOverallContent)

Function Documentation

TEST() [1/199]

TEST	(	PolyLayer5	,
		ContentBasic
	)

Definition at line 1675 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::content(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [2/199]

TEST	(	PolyLayer5	,
		ContentMonic
	)

Definition at line 1685 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::content(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [3/199]

TEST	(	PolyLayer5	,
		ContentNegativeLeading
	)

Definition at line 1695 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::content(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [4/199]

TEST	(	PolyLayer5	,
		ContentZero
	)

Definition at line 1704 of file polynomial_test.cc.

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

TEST() [5/199]

TEST	(	PolyLayer5	,
		FactorizeMultipleRoots
	)

Definition at line 2224 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factorize(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [6/199]

TEST	(	PolyLayer5	,
		FactorizeNonMonicQuarticIntoQuadratics
	)

Definition at line 2157 of file polynomial_test.cc.

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

TEST() [7/199]

TEST	(	PolyLayer5	,
		FactorizePreservesOverallContent
	)

Definition at line 2266 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factorize(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [8/199]

TEST	(	PolyLayer5	,
		FactorizeQuarticIntoQuadratics
	)

Definition at line 2132 of file polynomial_test.cc.

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

TEST() [9/199]

TEST	(	PolyLayer5	,
		FactorizeRationalLinearFactors
	)

Definition at line 2238 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factorize(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [10/199]

TEST	(	PolyLayer5	,
		FactorizeSexticIntoCubics
	)

Definition at line 2182 of file polynomial_test.cc.

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

TEST() [11/199]

TEST	(	PolyLayer5	,
		FactorizeX3
	)

Definition at line 2207 of file polynomial_test.cc.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factorize(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [12/199]

TEST	(	PolyLayer5	,
		FactorizeX4Minus1
	)

Definition at line 2122 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factorize(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [13/199]

TEST	(	PolyLayer5	,
		FactorModPCubic3Roots
	)

Definition at line 1920 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [14/199]

TEST	(	PolyLayer5	,
		FactorModPIrred
	)

Definition at line 1931 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [15/199]

TEST	(	PolyLayer5	,
		FactorModPLinear
	)

Definition at line 1900 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [16/199]

TEST	(	PolyLayer5	,
		FactorModPProduct
	)

Definition at line 1941 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [17/199]

TEST	(	PolyLayer5	,
		FactorModPQuadSplits
	)

Definition at line 1910 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [18/199]

TEST	(	PolyLayer5	,
		FactorModPRejectsInvalidModulus
	)

Definition at line 1973 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [19/199]

TEST	(	PolyLayer5	,
		FactorModPRepeatedRootMultiplicity
	)

Definition at line 1956 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::factor_mod_p(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [20/199]

TEST	(	PolyLayer5	,
		HenselLiftCubic
	)

Definition at line 2035 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [21/199]

TEST	(	PolyLayer5	,
		HenselLiftLevel2
	)

Definition at line 2048 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), Aleph::product(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [22/199]

TEST	(	PolyLayer5	,
		HenselLiftPair
	)

Definition at line 2009 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), Aleph::product(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [23/199]

TEST	(	PolyLayer5	,
		HenselLiftRejectsInvalidParameters
	)

Definition at line 2086 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [24/199]

TEST	(	PolyLayer5	,
		HenselLiftRejectsModulusGrowthOverflow
	)

Definition at line 2107 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [25/199]

TEST	(	PolyLayer5	,
		HenselLiftSingle
	)

Definition at line 2074 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::hensel_lift(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [26/199]

TEST	(	PolyLayer5	,
		IntegerExactQuotConstantDivisorPreservesExactQuotient
	)

Definition at line 1754 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::_integer_exact_quot(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::get_coeff(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [27/199]

TEST	(	PolyLayer5	,
		IntegerExactQuotConstantDivisorRejectsInexactDivision
	)

Definition at line 1767 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::_integer_exact_quot(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [28/199]

TEST	(	PolyLayer5	,
		IntegerExactQuotRejectsNonZeroPseudoDivisionRemainder
	)

Definition at line 1776 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::_integer_exact_quot(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [29/199]

TEST	(	PolyLayer5	,
		IntegerExactQuotZeroDivisorThrows
	)

Definition at line 1744 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::_integer_exact_quot(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [30/199]

TEST	(	PolyLayer5	,
		IntegerGcdCommonFactor
	)

Definition at line 1804 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::integer_gcd(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [31/199]

TEST	(	PolyLayer5	,
		IntegerGcdCoprime
	)

Definition at line 1816 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::integer_gcd(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [32/199]

TEST	(	PolyLayer5	,
		IntegerGcdHighDegree
	)

Definition at line 1828 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::integer_gcd(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [33/199]

TEST	(	PolyLayer5	,
		IntegerGcdLinearLinear
	)

Definition at line 1791 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::integer_gcd(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [34/199]

TEST	(	PolyLayer5	,
		MignotteBoundDeg4
	)

Definition at line 1997 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::mignotte_bound(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [35/199]

TEST	(	PolyLayer5	,
		MignotteBoundLinear
	)

Definition at line 1986 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::mignotte_bound(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [36/199]

TEST	(	PolyLayer5	,
		PrimitivePartDividesByContent
	)

Definition at line 1712 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::primitive_part(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [37/199]

TEST	(	PolyLayer5	,
		PrimitivePartLeadPositive
	)

Definition at line 1725 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::primitive_part(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [38/199]

TEST	(	PolyLayer5	,
		PrimitivePartZeroPoly
	)

Definition at line 1735 of file polynomial_test.cc.

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

TEST() [39/199]

TEST	(	PolyLayer5	,
		YunSfdConstant
	)

Definition at line 1890 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::yun_sfd().

TEST() [40/199]

TEST	(	PolyLayer5	,
		YunSfdDeg4Triple
	)

Definition at line 1879 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::set_coeff(), and Aleph::Gen_Polynomial< Coefficient >::yun_sfd().

TEST() [41/199]

TEST	(	PolyLayer5	,
		YunSfdMixedDeg3
	)

Definition at line 1866 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::set_coeff(), and Aleph::Gen_Polynomial< Coefficient >::yun_sfd().

TEST() [42/199]

TEST	(	PolyLayer5	,
		YunSfdRepeatedDeg2
	)

Definition at line 1854 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::set_coeff(), and Aleph::Gen_Polynomial< Coefficient >::yun_sfd().

TEST() [43/199]

TEST	(	PolyLayer5	,
		YunSfdSquareFree
	)

Definition at line 1842 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::set_coeff(), and Aleph::Gen_Polynomial< Coefficient >::yun_sfd().

TEST() [44/199]

TEST	(	Polynomial	,
		AbsToU64HandlesSignedMinimum
	)

Definition at line 65 of file polynomial_test.cc.

References Aleph::polynomial_detail::abs_to_u64(), and Aleph::divide_and_conquer_partition_dp().

TEST() [45/199]

TEST	(	Polynomial	,
		AddInPlace
	)

Definition at line 305 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [46/199]

TEST	(	Polynomial	,
		AddInPlaceSelf
	)

Definition at line 314 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [47/199]

TEST	(	Polynomial	,
		AddScalarLeft
	)

Definition at line 332 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [48/199]

TEST	(	Polynomial	,
		AddScalarRight
	)

Definition at line 323 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [49/199]

TEST	(	Polynomial	,
		AddTwoPolynomials
	)

Definition at line 295 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::sum().

TEST() [50/199]

TEST	(	Polynomial	,
		AllZerosIsZero
	)

Definition at line 146 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [51/199]

TEST	(	Polynomial	,
		BisectRootLinear
	)

Definition at line 1537 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::bisect_root(), Aleph::divide_and_conquer_partition_dp(), and root().

TEST() [52/199]

TEST	(	Polynomial	,
		BisectRootQuadratic
	)

Definition at line 1545 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::bisect_root(), Aleph::divide_and_conquer_partition_dp(), and root().

TEST() [53/199]

TEST	(	Polynomial	,
		BisectRootReversedBounds
	)

Definition at line 1559 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [54/199]

TEST	(	Polynomial	,
		BisectRootSameSignThrows
	)

Definition at line 1553 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [55/199]

TEST	(	Polynomial	,
		CancellationToZero
	)

Definition at line 919 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [56/199]

TEST	(	Polynomial	,
		CauchyBound
	)

Definition at line 1419 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::cauchy_bound(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::from_roots().

TEST() [57/199]

TEST	(	Polynomial	,
		CauchyBoundConstant
	)

Definition at line 1428 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::cauchy_bound(), and Aleph::divide_and_conquer_partition_dp().

TEST() [58/199]

TEST	(	Polynomial	,
		CauchyBoundIntegralRoundsUpFractionalRatio
	)

Definition at line 1440 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::cauchy_bound(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::set_coeff().

TEST() [59/199]

TEST	(	Polynomial	,
		CauchyBoundZeroThrows
	)

Definition at line 1434 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::cauchy_bound(), and Aleph::divide_and_conquer_partition_dp().

TEST() [60/199]

TEST	(	Polynomial	,
		Coefficients
	)

Definition at line 872 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [61/199]

TEST	(	Polynomial	,
		ComposeIdentity
	)

Definition at line 642 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [62/199]

TEST	(	Polynomial	,
		ComposeLinear
	)

Definition at line 631 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::compose(), and Aleph::divide_and_conquer_partition_dp().

TEST() [63/199]

TEST	(	Polynomial	,
		ComposeWithConstant
	)

Definition at line 1010 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::compose(), and Aleph::divide_and_conquer_partition_dp().

TEST() [64/199]

TEST	(	Polynomial	,
		ConstantPolynomial
	)

Definition at line 72 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::is_constant(), Aleph::Gen_Polynomial< Coefficient >::is_zero(), and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [65/199]

TEST	(	Polynomial	,
		CopyAssignment
	)

Definition at line 167 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [66/199]

TEST	(	Polynomial	,
		CopyConstructor
	)

Definition at line 152 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [67/199]

TEST	(	Polynomial	,
		CountAllRealRoots
	)

Definition at line 1511 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [68/199]

TEST	(	Polynomial	,
		CountRealRootsCubic
	)

Definition at line 1495 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::count_real_roots(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::from_roots().

TEST() [69/199]

TEST	(	Polynomial	,
		CountRealRootsNoReal
	)

Definition at line 1526 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [70/199]

TEST	(	Polynomial	,
		CountRealRootsQuadratic
	)

Definition at line 1486 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [71/199]

TEST	(	Polynomial	,
		CountRealRootsReversedInterval
	)

Definition at line 1505 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [72/199]

TEST	(	Polynomial	,
		CountRealRootsZeroPolynomial
	)

Definition at line 1518 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::count_all_real_roots(), Aleph::Gen_Polynomial< Coefficient >::count_real_roots(), and Aleph::divide_and_conquer_partition_dp().

TEST() [73/199]

TEST	(	Polynomial	,
		DefaultIsZero
	)

Definition at line 57 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::is_zero(), and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [74/199]

TEST	(	Polynomial	,
		DefiniteIntegralLinear
	)

Definition at line 1105 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [75/199]

TEST	(	Polynomial	,
		DefiniteIntegralQuadratic
	)

Definition at line 1112 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [76/199]

TEST	(	Polynomial	,
		DefiniteIntegralSymmetric
	)

Definition at line 1119 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [77/199]

TEST	(	Polynomial	,
		DegreeOfConstant
	)

Definition at line 194 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), and Aleph::divide_and_conquer_partition_dp().

TEST() [78/199]

TEST	(	Polynomial	,
		DegreeOfQuadratic
	)

Definition at line 188 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [79/199]

TEST	(	Polynomial	,
		DerivativeOfConstant
	)

Definition at line 560 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::is_zero().

TEST() [80/199]

TEST	(	Polynomial	,
		DerivativeOfLinear
	)

Definition at line 566 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), and Aleph::divide_and_conquer_partition_dp().

TEST() [81/199]

TEST	(	Polynomial	,
		DerivativeOfQuadratic
	)

Definition at line 574 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), and Aleph::divide_and_conquer_partition_dp().

TEST() [82/199]

TEST	(	Polynomial	,
		DerivativeOfZero
	)

Definition at line 584 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::is_zero().

TEST() [83/199]

TEST	(	Polynomial	,
		DerivativeThenEval
	)

Definition at line 1002 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::eval().

TEST() [84/199]

TEST	(	Polynomial	,
		DivideByHigherDegree
	)

Definition at line 478 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::divmod(), and r.

TEST() [85/199]

TEST	(	Polynomial	,
		DivideByLinear
	)

Definition at line 453 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::divmod(), and r.

TEST() [86/199]

TEST	(	Polynomial	,
		DivideByZeroThrows
	)

Definition at line 487 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [87/199]

TEST	(	Polynomial	,
		DivideWithRemainder
	)

Definition at line 466 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::divmod(), and r.

TEST() [88/199]

TEST	(	Polynomial	,
		DivisionIdentity
	)

Definition at line 494 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [89/199]

TEST	(	Polynomial	,
		DynListDense
	)

Definition at line 108 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), l, and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [90/199]

TEST	(	Polynomial	,
		EqualDifferentConstruction
	)

Definition at line 738 of file polynomial_test.cc.

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

TEST() [91/199]

TEST	(	Polynomial	,
		EqualPolynomials
	)

Definition at line 717 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [92/199]

TEST	(	Polynomial	,
		EvalAdaptiveSelectsCorrectly
	)

Definition at line 1054 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [93/199]

TEST	(	Polynomial	,
		EvalCallOperator
	)

Definition at line 277 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [94/199]

TEST	(	Polynomial	,
		EvalConstant
	)

Definition at line 246 of file polynomial_test.cc.

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

TEST() [95/199]

TEST	(	Polynomial	,
		EvalLinear
	)

Definition at line 254 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [96/199]

TEST	(	Polynomial	,
		EvalQuadratic
	)

Definition at line 262 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [97/199]

TEST	(	Polynomial	,
		EvalSparseHighDegree
	)

Definition at line 283 of file polynomial_test.cc.

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

TEST() [98/199]

TEST	(	Polynomial	,
		EvalZeroPoly
	)

Definition at line 271 of file polynomial_test.cc.

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

TEST() [99/199]

TEST	(	Polynomial	,
		Exponents
	)

Definition at line 865 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::exponents().

TEST() [100/199]

TEST	(	Polynomial	,
		ForEachTerm
	)

Definition at line 841 of file polynomial_test.cc.

References Aleph::count(), Aleph::divide_and_conquer_partition_dp(), exp(), FAIL, and Aleph::Gen_Polynomial< Coefficient >::for_each_term().

TEST() [101/199]

TEST	(	Polynomial	,
		FromRootsLinear
	)

Definition at line 753 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::eval(), and Aleph::Gen_Polynomial< Coefficient >::from_roots().

TEST() [102/199]

TEST	(	Polynomial	,
		FromRootsQuadratic
	)

Definition at line 762 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::eval(), and Aleph::Gen_Polynomial< Coefficient >::from_roots().

TEST() [103/199]

TEST	(	Polynomial	,
		FromRootsThenEval
	)

Definition at line 1020 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::from_roots().

TEST() [104/199]

TEST	(	Polynomial	,
		GCDBasic
	)

Definition at line 688 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::gcd().

TEST() [105/199]

TEST	(	Polynomial	,
		GCDCoprime
	)

Definition at line 703 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::gcd().

TEST() [106/199]

TEST	(	Polynomial	,
		HasTerm
	)

Definition at line 221 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [107/199]

TEST	(	Polynomial	,
		HighDegreeSparse
	)

Definition at line 926 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::Gen_Polynomial< Coefficient >::compose(), Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::eval(), Aleph::Gen_Polynomial< Coefficient >::num_terms(), and remainder().

TEST() [108/199]

TEST	(	Polynomial	,
		HornerEvalDense
	)

Definition at line 1037 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [109/199]

TEST	(	Polynomial	,
		HornerEvalZeroPoly
	)

Definition at line 1066 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::horner_eval().

TEST() [110/199]

TEST	(	Polynomial	,
		InitializerListDense
	)

Definition at line 98 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [111/199]

TEST	(	Polynomial	,
		IntegerCoefficients
	)

Definition at line 971 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::sum().

TEST() [112/199]

TEST	(	Polynomial	,
		IntegerDivision
	)

Definition at line 992 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::divmod(), and r.

TEST() [113/199]

TEST	(	Polynomial	,
		IntegerMultiplication
	)

Definition at line 981 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [114/199]

TEST	(	Polynomial	,
		IntegralBasic
	)

Definition at line 590 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::integral().

TEST() [115/199]

TEST	(	Polynomial	,
		IntegralDerivativeRoundTrip
	)

Definition at line 610 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::derivative(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::integral().

TEST() [116/199]

TEST	(	Polynomial	,
		IntegralWithConstant
	)

Definition at line 600 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::integral().

TEST() [117/199]

TEST	(	Polynomial	,
		InterpolateDuplicateXThrows
	)

Definition at line 829 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::interpolate().

TEST() [118/199]

TEST	(	Polynomial	,
		InterpolateEmptyThrows
	)

Definition at line 823 of file polynomial_test.cc.

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

TEST() [119/199]

TEST	(	Polynomial	,
		InterpolateQuadratic
	)

Definition at line 806 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::interpolate().

TEST() [120/199]

TEST	(	Polynomial	,
		InterpolateTwoPoints
	)

Definition at line 792 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::interpolate().

TEST() [121/199]

TEST	(	Polynomial	,
		IsMonic
	)

Definition at line 212 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [122/199]

TEST	(	Polynomial	,
		LcmBasic
	)

Definition at line 1170 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::from_roots(), l, and Aleph::Gen_Polynomial< Coefficient >::lcm().

TEST() [123/199]

TEST	(	Polynomial	,
		LcmWithZero
	)

Definition at line 1184 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::lcm().

TEST() [124/199]

TEST	(	Polynomial	,
		LeadingCoefficient
	)

Definition at line 200 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [125/199]

TEST	(	Polynomial	,
		LeadingCoeffOfZero
	)

Definition at line 206 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::leading_coeff().

TEST() [126/199]

TEST	(	Polynomial	,
		MonomialConstruction
	)

Definition at line 88 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::is_monomial(), and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [127/199]

TEST	(	Polynomial	,
		MoveAssignment
	)

Definition at line 175 of file polynomial_test.cc.

References Aleph::copy(), and Aleph::divide_and_conquer_partition_dp().

TEST() [128/199]

TEST	(	Polynomial	,
		MoveConstructor
	)

Definition at line 159 of file polynomial_test.cc.

References Aleph::copy(), and Aleph::divide_and_conquer_partition_dp().

TEST() [129/199]

TEST	(	Polynomial	,
		MultiEval
	)

Definition at line 1076 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and LocateFunctions< Container, Type >::get_it().

TEST() [130/199]

TEST	(	Polynomial	,
		MultiEvalEmpty
	)

Definition at line 1093 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [131/199]

TEST	(	Polynomial	,
		MultiplyByConstant
	)

Definition at line 411 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [132/199]

TEST	(	Polynomial	,
		MultiplyByZero
	)

Definition at line 403 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [133/199]

TEST	(	Polynomial	,
		MultiplyPolynomials
	)

Definition at line 391 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [134/199]

TEST	(	Polynomial	,
		NegateArg
	)

Definition at line 1265 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::negate_arg().

TEST() [135/199]

TEST	(	Polynomial	,
		NegateArgVerify
	)

Definition at line 1275 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::negate_arg().

TEST() [136/199]

TEST	(	Polynomial	,
		NewtonRootCubic
	)

Definition at line 1584 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::newton_root(), and root().

TEST() [137/199]

TEST	(	Polynomial	,
		NewtonRootLinear
	)

Definition at line 1569 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::newton_root(), and root().

TEST() [138/199]

TEST	(	Polynomial	,
		NewtonRootQuadratic
	)

Definition at line 1576 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::newton_root(), and root().

TEST() [139/199]

TEST	(	Polynomial	,
		NewtonRootZeroDerivativeThrows
	)

Definition at line 1592 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [140/199]

TEST	(	Polynomial	,
		NthDerivative
	)

Definition at line 618 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::nth_derivative().

TEST() [141/199]

TEST	(	Polynomial	,
		OperatorBracketReturnsZeroForAbsent
	)

Definition at line 234 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [142/199]

TEST	(	Polynomial	,
		PowerCube
	)

Definition at line 673 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::pow().

TEST() [143/199]

TEST	(	Polynomial	,
		PowerOne
	)

Definition at line 657 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [144/199]

TEST	(	Polynomial	,
		PowerSquare
	)

Definition at line 663 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::pow().

TEST() [145/199]

TEST	(	Polynomial	,
		PowerZero
	)

Definition at line 649 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::pow().

TEST() [146/199]

TEST	(	Polynomial	,
		PseudoDivmod
	)

Definition at line 1196 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::pseudo_divmod(), and r.

TEST() [147/199]

TEST	(	Polynomial	,
		PseudoDivmodZeroDivisorThrows
	)

Definition at line 1216 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [148/199]

TEST	(	Polynomial	,
		QuotientAndModOperators
	)

Definition at line 505 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [149/199]

TEST	(	Polynomial	,
		RandomizedPolynomialProperties
	)

Definition at line 517 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::compose(), Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::diff(), Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::divmod(), Aleph::Gen_Polynomial< Coefficient >::eval(), r, rng, and Aleph::sum().

TEST() [150/199]

TEST	(	Polynomial	,
		ReverseOfZero
	)

Definition at line 1253 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::reverse().

TEST() [151/199]

TEST	(	Polynomial	,
		ReversePalindrome
	)

Definition at line 1258 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [152/199]

TEST	(	Polynomial	,
		ReversePolynomial
	)

Definition at line 1243 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::reverse().

TEST() [153/199]

TEST	(	Polynomial	,
		ScalarDivide
	)

Definition at line 434 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [154/199]

TEST	(	Polynomial	,
		ScalarDivideByZeroThrows
	)

Definition at line 443 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [155/199]

TEST	(	Polynomial	,
		ScalarMultiply
	)

Definition at line 421 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and r.

TEST() [156/199]

TEST	(	Polynomial	,
		SelfAdd
	)

Definition at line 964 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [157/199]

TEST	(	Polynomial	,
		SelfMultiply
	)

Definition at line 957 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [158/199]

TEST	(	Polynomial	,
		Shift
	)

Definition at line 1284 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::shift().

TEST() [159/199]

TEST	(	Polynomial	,
		ShiftDown
	)

Definition at line 1315 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::shift_down().

TEST() [160/199]

TEST	(	Polynomial	,
		ShiftDownDiscardsLowerTerms
	)

Definition at line 1325 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::shift_down().

TEST() [161/199]

TEST	(	Polynomial	,
		ShiftUp
	)

Definition at line 1303 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::shift_up().

TEST() [162/199]

TEST	(	Polynomial	,
		ShiftUpDownRoundTrip
	)

Definition at line 1603 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::shift_down(), and Aleph::Gen_Polynomial< Coefficient >::shift_up().

TEST() [163/199]

TEST	(	Polynomial	,
		ShiftUpZero
	)

Definition at line 1610 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [164/199]

TEST	(	Polynomial	,
		ShiftVerify
	)

Definition at line 1294 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), k, and Aleph::Gen_Polynomial< Coefficient >::shift().

TEST() [165/199]

TEST	(	Polynomial	,
		SignVariationsNoChanges
	)

Definition at line 1462 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [166/199]

TEST	(	Polynomial	,
		SignVariationsPositiveRoots
	)

Definition at line 1453 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [167/199]

TEST	(	Polynomial	,
		SignVariationsZero
	)

Definition at line 1469 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::sign_variations().

TEST() [168/199]

TEST	(	Polynomial	,
		SparseConstruction
	)

Definition at line 119 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [169/199]

TEST	(	Polynomial	,
		SparseConstructionMergesDuplicateExponents
	)

Definition at line 131 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::num_terms().

TEST() [170/199]

TEST	(	Polynomial	,
		SparseEvalMatches
	)

Definition at line 1046 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [171/199]

TEST	(	Polynomial	,
		SquareFreeAlreadySquareFree
	)

Definition at line 1404 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::from_roots(), and Aleph::Gen_Polynomial< Coefficient >::square_free().

TEST() [172/199]

TEST	(	Polynomial	,
		SquareFreeBasic
	)

Definition at line 1391 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::from_roots(), and Aleph::Gen_Polynomial< Coefficient >::square_free().

TEST() [173/199]

TEST	(	Polynomial	,
		StreamOperator
	)

Definition at line 906 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [174/199]

TEST	(	Polynomial	,
		SturmChainLinear
	)

Definition at line 1479 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::sturm_chain().

TEST() [175/199]

TEST	(	Polynomial	,
		SubtractFromItself
	)

Definition at line 350 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [176/199]

TEST	(	Polynomial	,
		SubtractInPlaceSelf
	)

Definition at line 357 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [177/199]

TEST	(	Polynomial	,
		SubtractPolynomials
	)

Definition at line 341 of file polynomial_test.cc.

References Aleph::diff(), and Aleph::divide_and_conquer_partition_dp().

TEST() [178/199]

TEST	(	Polynomial	,
		SubtractScalarLeft
	)

Definition at line 373 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [179/199]

TEST	(	Polynomial	,
		SubtractScalarRight
	)

Definition at line 364 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [180/199]

TEST	(	Polynomial	,
		TermsList
	)

Definition at line 858 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::terms_list().

TEST() [181/199]

TEST	(	Polynomial	,
		ToDense
	)

Definition at line 1352 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [182/199]

TEST	(	Polynomial	,
		ToDenseOfZero
	)

Definition at line 1363 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::to_dense().

TEST() [183/199]

TEST	(	Polynomial	,
		ToDenseSparse
	)

Definition at line 1370 of file polynomial_test.cc.

References Aleph::DynList< T >::append(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::to_dense().

TEST() [184/199]

TEST	(	Polynomial	,
		ToMonic
	)

Definition at line 1227 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and m.

TEST() [185/199]

TEST	(	Polynomial	,
		ToMonicZeroThrows
	)

Definition at line 1237 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::to_monic().

TEST() [186/199]

TEST	(	Polynomial	,
		ToStrConstant
	)

Definition at line 891 of file polynomial_test.cc.

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

TEST() [187/199]

TEST	(	Polynomial	,
		ToStrLinear
	)

Definition at line 897 of file polynomial_test.cc.

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

TEST() [188/199]

TEST	(	Polynomial	,
		ToStrZero
	)

Definition at line 885 of file polynomial_test.cc.

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

TEST() [189/199]

TEST	(	Polynomial	,
		Truncate
	)

Definition at line 1335 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::truncate().

TEST() [190/199]

TEST	(	Polynomial	,
		TruncateBeyondDegree
	)

Definition at line 1345 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::truncate().

TEST() [191/199]

TEST	(	Polynomial	,
		TruncateIsModXN
	)

Definition at line 1620 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::truncate().

TEST() [192/199]

TEST	(	Polynomial	,
		UnaryNegation
	)

Definition at line 382 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [193/199]

TEST	(	Polynomial	,
		UnequalPolynomials
	)

Definition at line 724 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [194/199]

TEST	(	Polynomial	,
		XgcdBasic
	)

Definition at line 1130 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::xgcd().

TEST() [195/199]

TEST	(	Polynomial	,
		XgcdCoprime
	)

Definition at line 1150 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::xgcd().

TEST() [196/199]

TEST	(	Polynomial	,
		XToN
	)

Definition at line 773 of file polynomial_test.cc.

References Aleph::Gen_Polynomial< Coefficient >::degree(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::x_to().

TEST() [197/199]

TEST	(	Polynomial	,
		ZeroAndOneFactories
	)

Definition at line 781 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::Gen_Polynomial< Coefficient >::one(), and Aleph::Gen_Polynomial< Coefficient >::zero().

TEST() [198/199]

TEST	(	Polynomial	,
		ZeroConstantIsZeroPoly
	)

Definition at line 82 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::Gen_Polynomial< Coefficient >::is_zero().

TEST() [199/199]

TEST	(	Polynomial	,
		ZeroPolynomialsEqual
	)

Definition at line 731 of file polynomial_test.cc.

References Aleph::divide_and_conquer_partition_dp().