|
Macaulay2 Engine
|
Files | |
| ARingCCCTest.cpp | |
| gtest coverage for the MPC-backed M2::ARingCCC arbitrary-precision complex aring. | |
| ARingCCTest.cpp | |
| gtest coverage for the complex<double>-backed M2::ARingCC complex aring. | |
| ARingGFTest.cpp | |
| gtest coverage for the FLINT-backed Galois-field aring M2::ARingGFFlint. | |
| ARingQQFlintTest.cpp | |
| gtest coverage for the FLINT-backed M2::ARingQQFlint rational aring. | |
| ARingQQGmpTest.cpp | |
| gtest coverage for the GMP-backed M2::ARingQQGMP rational aring. | |
| ARingRRiTest.cpp | |
| gtest coverage for the MPFI-backed M2::ARingRRi real-interval aring. | |
| ARingRRRTest.cpp | |
| gtest coverage for the MPFR-backed M2::ARingRRR arbitrary-precision real aring. | |
| ARingRRTest.cpp | |
| gtest coverage for the 53-bit double-backed M2::ARingRR real-number aring. | |
| ARingTest.hpp | |
| Shared gtest harness for the ARing*Test.cpp suite. | |
| ARingZZpTest.cpp | |
| gtest coverage for M2::ARingZZp (and indirectly the FFPACK-backed variant). | |
| ARingZZTest.cpp | |
| gtest coverage for the FLINT-backed M2::ARingZZ integer aring. | |
| basics-test.cpp | |
| Trivial harness-liveness test plus buffer / M2_arrayint round-trip coverage. | |
| DMatTest.hpp | |
| Convention placeholder header that pulls in dmat.hpp for the dense-matrix test suite. | |
| DMatZZpTest.cpp | |
| gtest coverage for DMat<M2::ARingZZp> — dense matrices over Z/p. | |
| fromStream.cpp | |
| Per-ring fromStream specialisations shared across the legacy Ring*Test.cpp suite. | |
| GivaroTest.cpp | |
| Adapted-upstream Givaro smoke test exercising modular, montgomery, gfq, gfqext templates. | |
| M2-cpp-replacement.cpp | |
| Single-symbol stub for system_interrupted() so the gtest binary links without the M2 interpreter. | |
| MatrixIOTest.cpp | |
| gtest coverage for BasicPoly / BasicPolyList round-trips and msolve-format benchmark ingestion. | |
| MonoidTest.cpp | |
| gtest coverage for the ExponentVector exponent-array primitives. | |
| NCGroebnerTest.cpp | |
| gtest smoke tests covering the non-commutative GB pipeline end-to-end. | |
| NewF4Test.cpp | |
| gtest coverage for the refactored F4 engine's hash table, lookup table, and PolynomialList. | |
| PointArray.cpp | |
| gtest coverage for PointArray — NAG's epsilon-bucketed numerical-point clustering structure. | |
| PolyRingTest.cpp | |
| gtest coverage for MonomialOrdering, Monoid, and PolynomialRing construction. | |
| ResTest.cpp | |
| gtest coverage for ResMonoidDense — the dense-exponent monoid used by the F4 resolution. | |
| RingCCCTest.cpp | |
| gtest coverage for the legacy RingCCC — ConcreteRing<M2::ARingCCC> glued back into the ring_elem API. | |
| RingQQTest.cpp | |
| gtest coverage for the legacy RingQQ rational ring (globalQQ). | |
| RingRRRTest.cpp | |
| gtest coverage for the legacy RingRRR — ConcreteRing<M2::ARingRRR> glued back into the ring_elem API. | |
| RingTest.hpp | |
| Shared gtest fixture for the legacy Ring-based Ring*Test.cpp suite. | |
| RingTowerTest.cpp | |
| gtest coverage for Tower — iterated polynomial-extension rings used by tower-style finite fields. | |
| RingZZpTest.cpp | |
| gtest coverage for the legacy Z_mod ring (modular arithmetic via ring_elem). | |
| RingZZTest.cpp | |
| gtest coverage for the legacy RingZZ integer ring (globalZZ). | |
| SubsetTest.cpp | |
| gtest coverage for Subsets — the bijection between integers and k-subsets of {0..n-1}. | |
| testMain.cpp | |
| main() of the M2-unit-tests binary — boots the engine, then runs gtest. | |
| util-polyring-creation.cpp | |
| Implementation of the test-side polynomial-ring builders declared in util-polyring-creation.hpp. | |
| util-polyring-creation.hpp | |
| One-line helpers for building degree monoids and polynomial rings inside gtest cases. | |