Documentation
Ratpoints
Search
return to top
source
Imports
Init
Ratpoints.Fast
Ratpoints.Model
Ratpoints.Proof
Ratpoints.Spec
Ratpoints.Fast.Cli
Ratpoints.Fast.Mask
Ratpoints.Fast.Search
Ratpoints.Fast.Sieve
Ratpoints.Model.Blocks
Ratpoints.Model.Bounds
Ratpoints.Model.BruteForce
Ratpoints.Model.Candidate
Ratpoints.Model.Choice
Ratpoints.Model.Cli
Ratpoints.Model.CliNumbers
Ratpoints.Model.Constants
Ratpoints.Model.Costs
Ratpoints.Model.Delivery
Ratpoints.Model.Denominators
Ratpoints.Model.Double
Ratpoints.Model.FindPoints
Ratpoints.Model.FirstStage
Ratpoints.Model.Packing
Ratpoints.Model.Params
Ratpoints.Model.Report
Ratpoints.Model.Rows
Ratpoints.Model.Setup
Ratpoints.Model.Sieve
Ratpoints.Model.Sturm
Ratpoints.Model.Tables
Ratpoints.Proof.Bisection
Ratpoints.Proof.BitRange
Ratpoints.Proof.Bits
Ratpoints.Proof.BlockLoops
Ratpoints.Proof.BlockPlan
Ratpoints.Proof.Blocks
Ratpoints.Proof.Bounds
Ratpoints.Proof.BruteForce
Ratpoints.Proof.Choice
Ratpoints.Proof.ChoiceModuli
Ratpoints.Proof.ChoicePool
Ratpoints.Proof.Cli
Ratpoints.Proof.CliNumbers
Ratpoints.Proof.CompositeRows
Ratpoints.Proof.Containers
Ratpoints.Proof.Correction
Ratpoints.Proof.Delivery
Ratpoints.Proof.Denominators
Ratpoints.Proof.Divisors
Ratpoints.Proof.Double
Ratpoints.Proof.FastDenominators
Ratpoints.Proof.FastMask
Ratpoints.Proof.FastSieve
Ratpoints.Proof.FindPoints
Ratpoints.Proof.FirstStage
Ratpoints.Proof.Forbidden
Ratpoints.Proof.Jacobi
Ratpoints.Proof.JacobiTables
Ratpoints.Proof.Moduli
Ratpoints.Proof.Order
Ratpoints.Proof.Output
Ratpoints.Proof.Packing
Ratpoints.Proof.Params
Ratpoints.Proof.PrimeRows
Ratpoints.Proof.Reductions
Ratpoints.Proof.Region
Ratpoints.Proof.Rounding
Ratpoints.Proof.RowStore
Ratpoints.Proof.Rows
Ratpoints.Proof.Scan
Ratpoints.Proof.ScanCounts
Ratpoints.Proof.SearchDens
Ratpoints.Proof.SetBits
Ratpoints.Proof.Setup
Ratpoints.Proof.Shapes
Ratpoints.Proof.Sieve
Ratpoints.Proof.Sift
Ratpoints.Proof.SiftBits
Ratpoints.Proof.Stages
Ratpoints.Proof.Sturm
Ratpoints.Proof.SturmCounts
Ratpoints.Proof.SturmCoverage
Ratpoints.Proof.SturmRegion
Ratpoints.Proof.SturmSigns
Ratpoints.Proof.Tables
Ratpoints.Proof.TwoAdic
Ratpoints.Proof.VCSimp
Ratpoints.Proof.Valuation
Ratpoints.Proof.Words
Ratpoints.Spec.Basic
Ratpoints.Spec.Order
Ratpoints.Spec.Region
Ratpoints.Spec.Sturm
Ratpoints.Mathlib.FieldTheory.Perfect
Ratpoints.Mathlib.NumberTheory.SmoothNumbers
Ratpoints.Mathlib.Order.WithBotTop
Ratpoints.Mathlib.Algebra.Group.Even
Ratpoints.Mathlib.Algebra.Polynomial.FieldDivision
Ratpoints.Mathlib.Algebra.Polynomial.Homogenize
Ratpoints.Mathlib.Algebra.Squarefree.Basic
Ratpoints.Mathlib.Analysis.Polynomial.Order
Ratpoints.Mathlib.Analysis.Polynomial.Sturm
Ratpoints.Mathlib.Basic.Sign.Defs
Ratpoints.Mathlib.Data.Int.GCD
Ratpoints.Mathlib.Data.Int.Sqrt
Ratpoints.Mathlib.Data.List.Basic
Ratpoints.Mathlib.Data.List.Chain
Ratpoints.Mathlib.Data.List.Nodup
Ratpoints.Mathlib.Data.List.Pairwise
Ratpoints.Mathlib.Data.List.Prime
Ratpoints.Mathlib.Data.List.SignVariations
Ratpoints.Mathlib.Data.List.Sort
Ratpoints.Mathlib.Data.Nat.Factors
Ratpoints.Mathlib.Data.Nat.PadicValNat
Ratpoints.Mathlib.Data.Nat.Squarefree
Ratpoints.Mathlib.Data.Rat.Floor
Ratpoints.Mathlib.Data.ZMod.Basic
Ratpoints.Mathlib.NumberTheory.LegendreSymbol.JacobiSymbol
Ratpoints.Mathlib.RingTheory.Coprime.Basic
Ratpoints.Mathlib.RingTheory.MvPolynomial.Homogeneous
Ratpoints.Mathlib.Algebra.Order.Field.Basic
Ratpoints.Mathlib.Algebra.Polynomial.Eval.Coeff
Ratpoints.Mathlib.Algebra.Polynomial.Sturm.Sequence
Ratpoints.Mathlib.Data.Nat.Prime.Defs
Ratpoints.Mathlib.NumberTheory.Padics.PadicVal.Basic
Ratpoints.Mathlib.Algebra.BigOperators.Group.List.Basic
Imported by