--- title: modalg: Exact Linear Algebra Without Rounding | SpinForge url: https://spin-forge.com/forge15/modalg description: Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer. --- FORGE15 / 02 / NUMBER THEORY & CRYPTO [The full offering](https://spin-forge.com/platform) # modalg. Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer. [Discuss modalg](https://spin-forge.com/contact?product=forge15%2Fmodalg) Customer outcome [Design and discover](https://spin-forge.com/platform/discovery-design) Available now CLI MCP Headless Choose your access mode THE PRODUCT, IN PRACTICE ## When the answer must be exact, a close number is not enough. In an exact mathematical computation, a rounded determinant or linear-solve result can be unsuitable even when its relative error is small. modalg addresses that requirement by returning exact results for its supported inputs. It gives software and research teams an exact-arithmetic component to place where an approximate numerical answer is not the required deliverable. BUILT FOR Exact-arithmetic, symbolic-computing and mathematical-software teams. CHALLENGES PRODUCT RESPONSE ## The problem you face. What modalg changes. 01 ### A floating result misses the integer answer The application needs the exact value, not a nearby representation that looks correct when printed. modalg computes supported determinants and solves with exact output, removing rounding from the result requirement. 02 ### Large values are hard to assess visually A long numerical value cannot be accepted simply because it looks plausible. The product’s independent checking path supports verification of the result against the source computation. 03 ### Exact computation needs its own benchmark A comparison based only on approximate arithmetic can miss the property the customer is buying. Evaluate modalg for exact agreement and total runtime on the supported matrices, not only speed against a method that returns a different kind of answer. WHAT YOU GET ## A defined capability. A useful output. The product scope below describes the capability and outputs to confirm for your release. Custom integration, operated delivery and additional engineering are separately agreed. 01 ### Exact determinant computation A determinant result for the supported matrix scope. 02 ### Supported exact linear solves Exact-answer functionality for the admitted systems. 03 ### Checkable outputs The supplied independent checking path associated with the computation. 04 ### A numerical integration component An exact-arithmetic tool that can be incorporated into the customer’s mathematical workflow. AVAILABLE NOW ## One product. Three ways to work. modalg is fully available with CLI, MCP and headless access. Use the interface that fits your terminal, your agents or your automated workflow. 01 / CLI ### For your terminal. Run the product from a terminal or script, alongside the tools your team already uses. [Get CLI access](https://spin-forge.com/contact?product=forge15%2Fmodalg&interface=cli&brief=I+would+like+modalg+access+through+CLI.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 02 / MCP ### For your agents. Connect MCP-compatible clients and agents to the product’s exposed capabilities. [Get MCP access](https://spin-forge.com/contact?product=forge15%2Fmodalg&interface=mcp&brief=I+would+like+modalg+access+through+MCP.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 03 / HEADLESS ### For your workflows. Operate without a graphical interface in unattended, scheduled or pipeline-driven work. [Set up headless access](https://spin-forge.com/contact?product=forge15%2Fmodalg&interface=headless&brief=I+would+like+modalg+access+through+headless.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) Product-specific inputs, hardware requirements and result guarantees still apply. An access mode does not change your license or deployment scope. [Explore all product interfaces](https://spin-forge.com/developers?section=access-directory) EXAMPLE CUSTOMER WORKFLOW ## Replace one rounding-sensitive calculation A mathematical application needs an exact determinant as an input to a subsequent decision. Illustrative use of the supported scope, not a customer case study or a measured result. 1. 01 Supply the supported matrix and required exact-result convention. 2. 02 Compute the answer with modalg. 3. 03 Check exact agreement before passing the result to the downstream calculation. IN YOUR WORKFLOW ## Start with your task. Agree the useful outcome. Exact-arithmetic, symbolic-computing and mathematical-software teams. What you bring The supported matrix, determinant or solve operation and exact-output requirements. What a useful evaluation measures - Exact agreement with accepted references - End-to-end runtime including checking - Matrix size and arithmetic capacity for the workload Where it fits Use the selected product in a qualified customer environment, or agree a defined implementation with SpinForge. A hosted or managed service is quoted for its actual operating responsibilities; it is not automatically included with software access. QUESTIONS BEFORE YOU BUY ## A clear scope. No hidden assumptions. **How can we use modalg?**CLI, MCP and headless access are all available. Run from a terminal or script, connect an MCP-compatible client, or use the product without a graphical interface. Choose the mode during onboarding and receive its setup instructions. Runtime requirements and supported operations remain product-specific. **What is the important product boundary? **The reported 52-digit, 40×40 determinant is a specific campaign result, not an unlimited matrix-size guarantee. Exact-result semantics, supported inputs and execution capacity must match the delivered release. **What comes with the selected license? **The agreed modalg release, its supported interfaces and outputs, the applicable checks and the support stated in your order. The plan defines users, workflow, environment and capacity. Source-code transfer, unrestricted redistribution and bespoke engineering are not automatically included. **Can SpinForge implement or operate it for us? **Request a scoped engineering or operated-service proposal. It identifies what our team delivers, where the workload runs, infrastructure costs, acceptance requirements and ongoing support. Your software subscription alone does not activate a hosted runtime. [Explore engineering](https://spin-forge.com/engineering) **What evidence is available for review? **P45 / Company-reported. The supplied campaign reproduced a 52-digit determinant for a 40×40 matrix. Its approximate-arithmetic comparison began missing the exact integer at dimension 14 in the studied matrix family. That threshold is not universal. These descriptions come from the supplied product and campaign material. Website checks are not an independent rerun of the engine. Qualification identifies the actual release, workload and available artifacts. [Read the evidence summary](https://spin-forge.com/results) SOFTWARE / OPERATED DELIVERY By proposal Customer-hosted access and a service operated by SpinForge are different scopes. Confirm the release, deployment and included support before activation. [Plans & delivery](https://spin-forge.com/pricing) PUT MODALG TO WORK ## Tell us what needs to improve. Bring a representative workload and the result your team needs. We’ll define the product, deployment and engineering scope around that task. [Discuss this workflow](https://spin-forge.com/contact?product=forge15%2Fmodalg&brief=Product%3A+modalg%0AOur+challenge%3A+A+floating+result+misses+the+integer+answer%0AWorkload+%2F+baseline%3A+%0AEnvironment%3A+%0ARequired+output%3A+%0AAcceptance+measures%3A+Exact+agreement+with+accepted+references%3B+End-to-end+runtime+including+checking%3B+Matrix+size+and+arithmetic+capacity+for+the+workload%0ADelivery+preference+%28software+%2F+engineering+%2F+managed%29%3A+) **Related products, workflows and system connections + **RELATED CAPABILITIES ## Connect the right products. Distinct responsibilities. Explore each scope before choosing a combined deployment. [### LatForge Lattice-basis reduction software with independent checks of the returned basis.](https://spin-forge.com/forge15/latforge) [### krylov_scale Matrix-free linear-system and extreme-eigenvalue computation with independent true-residual checking.](https://spin-forge.com/forge15/krylov-scale) [### Forge15 verification Exact arithmetic, feasibility, optimality, numerical consistency and statistical coverage are different guarantees.](https://spin-forge.com/forge15/verification) ONE PLATFORM / OR A DIRECT PURCHASE ## Checked Decisions with modalg. Activate this capability inside a qualified checked decisions workflow. Compatible methods and required shared checking are included once within that workflow; the product remains independently purchasable. Capacity, release, environment, result contract and operating responsibilities are specified before activation. Choosing an additional method is not permission to add an unrelated workload or unqualified deployment. [Explore Checked Decisions](https://spin-forge.com/platform/checked-decisions) [Choose workflow capacity](https://spin-forge.com/plans?configuration=checked-decisions&product=forge15/modalg) CONNECTED WORKFLOWS ## Use modalg in your workflow. The product remains independently available. These customer-specific solution paths use the relevant supported capabilities, with integration and delivery rights agreed separately. [01 ### Independent result verification Check a supported candidate or proof against the original model—even when another system produced the answer. Understand what passed, what failed and what remains unresolved.](https://spin-forge.com/solutions/result-verification) [03 ### AI training & evaluation environments Commission a task environment or evaluation suite in which supported mathematical and decision outcomes are checked by code, not judged only by the fluency of an explanation.](https://spin-forge.com/solutions/ai-training-evaluation) [09 ### Private computational deployments Use the appropriate SpinForge capability in a supported customer-controlled environment. Choose CPU execution where the product supports it and acceleration where the workload justifies it.](https://spin-forge.com/solutions/private-computation) [Explore all 17 solution workflows](https://spin-forge.com/workflows) FROM PRODUCT TO CUSTOMER WORKFLOW ## A useful outcome. A defined delivery. Commission the model, integration and acceptance work needed for your task. Existing products stay independently available. [03 / Scoped customer program ### Improve a computational workflow Commission a bounded performance improvement with source identity, numerical acceptance and the appropriate checking evidence.](https://spin-forge.com/programs/compute-improvement) [Explore decision programs](https://spin-forge.com/decision-systems) THE WHOLE-SYSTEM ROLE ## modalg in a wider workflow. Assist exact algebraic checking and reconstruction for model transformations and retained evidence. POTENTIAL SYSTEM CONTRIBUTION Use valid bounds/reconstruction and admitted arithmetic; it is not automatically an HNF/SNF implementation. [S3 · Checked computational memory](https://spin-forge.com/system-synergies/checked-computational-memory) [S5 · Cross-domain exact reformulation](https://spin-forge.com/system-synergies/exact-reformulation) [See this product in the map](https://spin-forge.com/system-synergies/product-map?q=modalg) [Define an integration evaluation](https://spin-forge.com/system-synergies/evaluation) The product is independently available through CLI, MCP and headless access. The joins above are integration candidates; compatibility, authority, data rights and end-to-end benefit must be established for the selected workflow. START WITH THIS PRODUCT Use the software directly or ask us to scope the implementation. [Software access](https://spin-forge.com/plans?product=forge15/modalg) [Have us do the work](https://spin-forge.com/contact?product=forge15/modalg&delivery=engineering)