General documentation

index
foundational types
tactics
references

Library

Complexity (file)
Algorithms
ExactTriangle
Defs
Hashing
Lopsided
Splitting
Weights
Witnesses
Lean
FusionTree
Capacity
Compression
Correction
Multiplier
Routing
Sketch
Tree
XorCorrection
SearchTree
Basic
Cost
Erase
Stateful
Sort
Bitonic
Basic
Correctness
Trace
ZeroOne
VanEmdeBoas
Basic
Elements
Insert
Layout
Successor
Dictionary
IndexedMinPQ
Queue
Retroactive
MatrixMultiplication
Schonhage
Alphabets
BandBounds
Batch
CoordinateTransform
Full
Identity
Layout
Levels
Magnitude
MaskTable
Orders
Parameters
Pruned
PrunedCounts
QueryDigits
Sparse
SplitDigits
ThinProduct
Tiling
Reachability
InductiveCounting (file)
Bounds
Completeness
Progress
Semantics
BreadthFirst
Reingold
ReingoldEval
Savitch
Sorting
Counting
Streaming
CountMin
Basic
LinearHash
Probability
Program
ThreeSum
ChanHe
Collisions
Defs
FromNumbers
Recursion
SelectorBounds
ShiftedSizes
Sizes
ArrayPacking
Convolution
Defs
ThreeSets
WordRAM
Deduplicate
Count
Model
Program
Dijkstra
Fibonacci
FibonacciStatement
GenericPQ
HeapStatement
Invariant
ListEncode
LogLinear
Statement
ExactTriangle
RecordProduct (file)
Bounds
Copy
Decode
Entry
Exec
First
Flat
Header
InputSpec
Kernel
Prepare
Producer
ProducerQueries
Program
RawInput
SourceBounds
Catalogue
ChunkCatalogue
Chunks
Classes
InstancePair
Instances
MatrixSpec
Parameters
PreparationAdjacency
PreparationBounds
PreparationInput
PreparationSpec
QueryScan
QuerySpec
ResidueClasses
WriteMatrices
FusionTree
Node (file)
Correction
Header
Initial
Neighbors
Registers
Semantics
Sketch
Query (file)
Node
Program
Traversal
Binary
Boundary
Compress
LowerRank
MSB
MSBProgram
Model
Neighbors
Packed
Parameters
Preprocessing
Rank
ReadHeader
Static
Hashing
MultiplyShift
Karger
Contract
FastCut
Graph
MatrixMultiplication
Schonhage
Callable (file)
Bounds
Core
Exec
Flat
Input
Program
Return
Setup
Width
Product (file)
Admission
Arguments
Bands
Catalogue
Copy
Cost
Directory
Exec
Flat
Groups
Header
Input
Layout
MatrixInput
MatrixTransfer
Memory
Parameters
Program
Reconstruct
Route
Routing
SavedGroups
Thin
ThinWidth
Tile
Tiles
Transfer
Width
Pruned
Accumulate
AccumulateStep
Add
Bounds
Child
Clear
Codes
Control
Emit
EmptyChild
Evaluate
Finish
Flat
Frame
Initialize
Input
Kernel
Leaf
LeafStep
Memory
Node
NodeFrame
Powers
Program
Progress
ProgressChild
ProgressEmpty
ProgressFinish
ProgressReturn
Push
Ready
Recursive
Report
Return
Root
Scan
ScanInsert
ScanMemory
ScanSet
ScanStep
Values
Weight
Width
Wanted
Cost
Count
CountStep
Exec
Flat
GroupedRuns
Groups
Input
Meaning
Memory
Pack
PackProgram
Prefix
PrefixStep
Program
Route
Scatter
ScatterStep
ScatterWrite
Setup
Width
BandAll
BandCatalogue
BandCollect
BandCopy
BandCost
BandCount
BandEncode
BandExec
BandFlat
BandHeader
BandInput
BandMeaning
BandMemory
BandParameters
BandPopulation
BandPrepare
BandProgram
BandRead
BandRoot
BandSplit
BandTables
BandThin
Cell
Controller
Copy
Encoding
Exec
Flat
Forms
Header
Input
Meaning
Stage
PrefixSums
Dynamic
Query
Tree
Update
PriorityQueue
BinaryHeap (file)
Model
Program
Sift
FibonacciHeap (file)
BasicOps
Consolidate
Cut
Forest
Model
Program
Trees
Basic
Queue
Basic
Dynamic
Model
RadixSort (file)
Deduplicate
Model
Program
Scan
Stack (file)
Controller
ThreeSum
ChanHe
BucketCounts
CollisionTest
Collisions
Count
CountCall
CountPlace
CountPlaceMemory
CountTriple
Modulus
NodeExec
NodeInitialize
NodeLayout
NodeMemory
NodeProgram
NodeRound
NodeSetup
NodeSpec
Padding
Parameters
Place
PlaceExec
PlaceMemory
Preprocessing
PreprocessingBounds
PreprocessingEntries
PreprocessingExecute
PreprocessingFinish
PreprocessingInput
PreprocessingIntermediates
PreprocessingInvariant
PreprocessingLayout
PreprocessingLoad
PreprocessingLoop
PreprocessingPrimes
PreprocessingProgram
PreprocessingReserve
PreprocessingSetup
PreprocessingSnapshot
PreprocessingStep
PreprocessingTime
PreprocessingWidth
Query
Residues
Search
TraversalAdmitted
TraversalCall
TraversalChildren
TraversalCost
TraversalDeliver
TraversalEmission
TraversalEmissionFrame
TraversalExec
TraversalFrames
TraversalInvariant
TraversalLive
TraversalLoop
TraversalModel
TraversalOutput
TraversalPending
TraversalProgram
TraversalResources
TraversalRoot
TraversalSkip
TraversalStack
TraversalStep
TraversalTime
TraversalVisit
Decision (file)
Body
Boundary
Call
Controls
Execute
Input
Intermediates
Loop
Program
Registers
Reserve
Scalar
Width
Frontend (file)
Arrays
Bounds
Execute
Frame
Input
Layout
Model
Program
Scan
Select
Time
Host
Callee
Caller
ExecuteAt
Loop
Prepare
Program
Slow
Width
Cell
Fill
Memory
Weight
VanEmdeBoas
Init (file)
Table
Call
Insert
Member
Model
Program
Successor
DynamicArray
ElementDistinctness
ElementDistinctnessRAM
Histogram
KargerMinCut
KargerStein
NatClog
NatLog
NatSqrt
PrimeTable
PrimeTrial
Quickselect
Quicksort
Computability
BranchingProgram
MonoidProgram
PolyLength
Circuit
Approximation (file)
Hamming
Arithmetic (file)
Hessian (file)
SourceComplexity
Waring (file)
Basic
Compilation
CircuitLowerBound
Determinant
Formula
GeneralLowerBound
Pairing
Power
RelativeRank
RelativeRankUpper
SPCircuit
SetMultilinear
SetMultilinearGadget
SetMultilinearLowerBound
SetMultilinearize
SigmaPi
SumFlatten
VNP
VP
Word
WordPolynomial
Boolean
ACC0 (file)
Basic
Simulation
AffineDisperser (file)
Deletion
Elimination
MinimalAnd
Normal
Operations
Reduction
Reparameterisation
Rewiring
State
Step
AltFormula (file)
TopDown
Braverman
Approximation
Fooling
Gates
Resilience
CarryLookahead (file)
PolyTime
CarrySave (file)
Reduce (file)
PolyTime
PolyTime
DepthTime (file)
PolyTime
Encoding (file)
Certificate
FirstOrder (file)
Parity
Formula (file)
Andreev
Poly
Restriction
Subbotovskaya
HardnessAmplification (file)
Schedule
Stages
WorstCase
Hastad (file)
Sharp
Iteration (file)
CounterChart
Basic
Circuit
Decode
Encode
Time
ModulusCounter (file)
Basic
Remainders
Active
AffineController
AffineControllerLupanov
AffineControllerSynthesis
Batch
CircuitCounting
CounterBatch
Decoder
Depth
DepthSearch
Encoded
Eventual
ForestCircuitRecords
ForestCircuits
ForestQuerySynthesis
ForestRecordQueries
InPlace
InputTime
Label
LabelCircuit
LongTime
NavigationCircuits
NavigationFeatures
NavigationSynthesis
NavigationWord
Optimization
Permutation
PrimeCycles
Record
RecordCircuit
Remainder
Residue
ResidueAdd
Scan
Selection
SequentialSquaring
SharedDictionary
SparseDisplacement
SparseNavigation
SparseTime
Target
UniversalMap
VisitScheduleCircuits
Layered (file)
Compile (file)
Correctness
PolyTime
Size
Padding (file)
PolyTime
PolyTime
Size
MassProduction
Pipeline (file)
Circuit
Packing
Scheduler (file)
Basic
Cost
Phase
PhaseCircuit
State
Uhlig (file)
Code
Layer
Basic
Fine
FineParameters
FineStatement
Padding
Point
Schedule
Synthesis
Modular
InnerProduct (file)
PolyTime
Multiply (file)
PolyTime
PartialProduct (file)
PolyTime
Subtract (file)
PolyTime
NaturalProof (file)
Generator
SemiCircuit (file)
Equation
Gate
OfCircuit
Reparameterisation
Rewiring
Simplification
ShallowSymmetric (file)
Bounds
Construction
Covering
Moduli
ShiftTest
Weights
Smolensky (file)
Approximation
Gates
Majority
Tableau
Basic
Correct
Layout
Space
Threshold (file)
Parity
Unbounded (file)
Restriction
WeightedThreshold (file)
Activation
Activity
ActivityBounds
Capacity
CapacityCircuit
Components
Cut
InnerProduct
Menus
PendingBias
Potential
ScalarActivity
SupportBound
SupportBoundAsymptotics
TranscriptTree
AC0
Advice
AtLeast
BalancedCode
Barrington
BarringtonClass
BatchLookup
BatchOr
BinaryCost
BitBlast
BoundedError
Broadcast
CodeComposition
CodeSubstitution
CodeTemplate
CompareSwap
Comparison
Conondeterministic
ConstDepth
Continuity
Convolution
Correction
DepthClasses
DuplicateFlags
ElementDistinctness
EncodingSize
Equality
EvaluationTime
FanInTwo
GateElimination
Gates
Hamming
HardCore
Hierarchy
KarchmerWigderson
KeyedSort
Khrapchenko
KhrapchenkoDepth
LMN
MachineSimulation
Majority
Metric
Minterms
ModGates
ModMajority
Multiplicity
Nechiporuk
NegationNormalForm
NonconstantCost
Nondeterminism
Oracle
PPoly
PPolyHard
Parity
PolynomialTime
Propagation
ReadOnce
Routing
RoutingValues
SeedFixing
Selection
ShannonConstruction
ShannonSynthesis
Sorting
SortingTrace
Sparse
SparseSynthesis
SparseSynthesisConstruction
Spira
Substitution
Synthesis
TC0
ThresholdNC1
TopDown
Tournament
Tribes
Word
XorLemma
Yablonskii
Cyclic (file)
Feedback
Encoding
MapOp
Formula (file)
NodeCount
Frontier
Compiler (file)
CNF
Network
Correlation (file)
Asymptotics
Circuit
Rectangle
Layouts
Gaussian (file)
Basic
Coefficient
EdgeScores
Sample
Straddle
Basic
BoundedDegree
Components
Compression
Core
Cubic
General
Kernel
Local
Median
MultiGaussian
MultiOrder
Scores
Support
VertexGaussian
Ledger
Aggregate
Basic
LowerBound
Sweep
Unconditional
Linear
LowerBound
Unconditional
AverageCase
BoundedFanIn
BranchingProgram
Demand
FanInTwo
Incidence
IncidenceComponents
LowerBound
Multigraph
Network
Nondeterministic
Projection
Rectangle
Reduction
Sweep
TwoSidedWitness
Unconditional
Witness
Fusion
Cyclic (file)
Closure
Compiler
Graph (file)
Canonical
Inequality
Random
Basic
Boolean
Certificate
CertificateCircuit
Composition
Conondeterministic
Consistency
Converse
Counting
DeMorgan
Encoding
Extension
Homomorphism
Pullback
Quadratic
Sampling
Semifilter
Simulation
SimulationContext
Monotone
Clique
Approximator
Asymptotic
Essential
LogarithmicPetals
LowerBound
Negative
Positive
Basic
BipartiteMatching
DualRail
Formula
KarchmerWigderson
Set
Quantum
Basic
Rational (file)
MatrixEval (file)
Defs
Runtime (file)
Lift (file)
Defs
Determinant
Encode
HermiteCramer
Parameters
Point
Affine
BlockDivision
Certificates
CyclotomicGrid
Deformation
Defs
Determinant
EncodingBounds
Eval
Executable
Generator
IntegralLift
LaurentReduction
PaddedRank
QuantumMatrices
QuantumSeries
Rectangular
SmallExpansion
Wronskian
SumOfTerms (file)
Basic
Coverage
Balanced
Basic
BipartiteMatching
Bird
Clique
Complexity
CompositionDepth
Continuity
Counting
Decomposable
Depth
Erase
Evaluation
FanIn
FullArithmetic
HintDecoding
InnerSize
Iteration
KernelVector
Linearize
MapLines
MapOp
Metric
Parallel
Pi
Pointwise
Program
ReedMullerDecoding
Replication
SatCount
SignatureHom
Simulation
SimulationContext
SimulationDepth
SourceComplexity
Support
Synthesis
Unfolding
Wiring
Communication
Lifting
Density
Gadget
Partition
Simulation
TopDown
Adversary
Majority
Parity
Rectangle
Amplification
Corruption
Discrepancy
Disjointness
Distributional
Equality
FoolingSet
Functions
Inclusion
InnerProductRank
KarchmerWigderson
Newman
Operations
Protocol
Randomized
Rank
Rectangle
RoundProtocol
Complexity
AffineDisperser (file)
BinaryPolynomial
Coordinates
PolyTime
Program
Classes
AWPP (file)
Amplification
Closure
Lowness
OracleWeights
WPP
Alternation (file)
Game
GuessVerify
NP
Savitch
TQBF
ArthurMerlin (file)
Amplification
Collapse
GraphNonIsomorphism
PH
SetLowerBound
BPP (file)
Derandomization (file)
Generator
Amplification
Collapse
KarpLipton
Reduction
WorstCaseHardness
BooleanHierarchy (file)
Closure
Kadin
PH
Constructible (file)
Log
Counting
OracleSpace
Space
FewP (file)
Machine
Hierarchy (file)
LogClock
Nondeterministic
Polynomial
ShortDesc
Space
Time
IP (file)
TQBF (file)
Protocol
Tokens
Verifier
Words
CoinFixing
GameTree
GraphNonIsomorphism
Guessing
OptimalProver
PSPACE
Reduction
Repetition
Shamir
Simulation
Ladner (file)
Basic
PolyTime
LogSpace (file)
FirstOrder (file)
Ordered (file)
Reduction
Formula
Output
Reduction
Transducer
Randomized (file)
Amplification
Complement
PolyTime
USTCON
MIP (file)
Defs
NEXP
OptimalProver
ModP (file)
GapP
NP (file)
Closure
GuessVerify
Nondeterministic
SelfReduction
TruthTable
Witness
Oracle (file)
BakerGillSolovay
Closure
Collapse
Counting
CountingEquivalence
Deterministic
Diagonal
Lowness
Monotone
PP
PolyTime
Space
TQBF
P (file)
Closure
Complement
Slices
PCP (file)
NP
ZeroRandomness
PH (file)
Closure
Collapse
Kannan
KarpLipton
Projection
SipserLautemann
PP (file)
Bit
Characterization
Closure
Oracle
TruthTable
Padding (file)
Polynomial
ParityP (file)
Closure
Promise
Basic
Circuit
Probabilistic
Randomized
Reduction
RP (file)
Closure
SBP (file)
Amplification
SPP (file)
FewP
SharpP (file)
Aggregation
Characterization
Closure
Combinators
Completeness
GapMachine
Lowness
Machine
Oracle
PolyTime
Power
Probability
Products
Space
WeightedReplay
Space (file)
GeneralizedGeography (file)
Membership
Reduction
TQBF (file)
Evaluation
Formula
Membership
PolyTime
Prenex
Reduction
Basic
Closure
Nondeterministic
Savitch
TM2
Time
TFNP (file)
Subclasses (file)
Completeness
Principles
SearchToDecision
Time (file)
Polynomial
Toda (file)
Counting
Hierarchy
Isolation
UP (file)
Machine
ValiantVazirani (file)
Collapse
Reduction
WPP (file)
Bounded
Lowness
Robustness
TruthTable
TwoSided
BPPpath
CeqP
DP
EXP
Inclusions
Operators
RepeatedTrials
US
ZPP
CookLevin
Clauses
Completeness
Correctness
Counting
Encoding
Parameters
Parsimonious
PolyTime
Reduction
Tableau
Fagin
Tableau (file)
Defs
Semantics
Converse
Layout
Ordered
Power
SAT
Small
StrictVerifier
Verifier
FineGrained (file)
PPSZ
AssignSL
Basic
CriticalTree
Defs
Frozen
General
GeneralK
Limit
Placement
Unique
Assignment
BruteForce
CircuitCounting
CountingCSP
CountingEndpoint
CountingFiniteCSP
CountingNativeEndpoint
CountingNativeModelCount
CountingParameterBounds
CountingScale
CountingScaleBounds
CountingSparsification
CountingSparsificationUniform
CountingSparsifyContext
CountingTreeBound
ExhaustiveSearch
Exponents
GeneralCNFBranchSchedule
GraphProblems
LocalMapCounting
OrthogonalVectors
PPZ
PermutationIndependentSet
Reduction
ReplacementParams
ReplacementScheduleDesign
Schoening
SparseBranchAsymptotics
SparseBranchSchedule
SparseCountingScale
SparseParitySchedule
Sparsification
ThreeOccurrenceReduction
HardnessEncoding
PolyTime
Program
Parameterized (file)
VertexCover (file)
BussKernel
Kernelization
Problems
CircuitValue (file)
Compilation
Completeness
Writer
Graph (file)
OrthogonalDrawing (file)
Encoding
OrthogonalLayout
OrthogonalPath
Ports
Hamiltonian (file)
Diamond (file)
Defs
Soundness
Directed
Sparse
Undirected
IndependentSet (file)
Sparse
MonotoneCircuitValue (file)
Completeness
OneInThreeSAT (file)
Reduction
SAT (file)
ExactOne
Drawing
DrawingAssembly
DrawingAvoidance
DrawingClauseVertices
DrawingCosts
DrawingCounts
DrawingData
DrawingEndpoints
DrawingFinitePolyTime
DrawingFits
DrawingPolyTime
DrawingPorts
DrawingPositionLookup
DrawingPositions
DrawingProfileBounds
DrawingProfiles
DrawingRouteContacts
DrawingRoutes
DrawingSource
DrawingValid
DrawingVertexBoxes
DrawingVertexGeometry
Geometry
GeometryCollar
GeometryCollarData
GeometryCollarGlue
GeometryData
GeometryPrefix
GeometryProfiles
GeometryProfilesCollar
GeometryProfilesData
GeometryProfilesPrefix
GeometryProfilesPrefixData
Incidence (file)
Compact
Degree
Planar
Paths (file)
Occupancy
CrossoverLayout
CrossoverLayoutChecks
CrossoverLayoutData
OrdinaryRing
PairedBounds
PairedCompile
PairedCorrectness
PairedCounting
PairedCrossoverLayout
PairedCrossoverLayoutChecks
PairedCrossoverLayoutData
PairedGeometry
PairedOccurrence
PairedPolyTime
PairedSemantics
PairedSize
PathAssignments
PathBounds
PathData
PathGeometry
PathPolyTime
PolyTime
STCON (file)
Completeness
Reduction
Search
SubsetSum (file)
Digits
Mask
TQBF (file)
Closed
ThreeSATThree (file)
Counting
Size
Syntax
TwoSAT (file)
Completeness
Layout
Membership
Reduction
Routines
CircuitSAT
Clique
Coloring
CountingSAT
ExactThreeSAT
GeneralizedGeography
GraphIsomorphism
IntegerProgramming
Knapsack
Partition
PlanarPositiveOneInThreeSAT
PlanarThreeSATThree
SATUNSAT
SharpSAT
SharpThreeSAT
TSP
ThreeSAT
USAT
USTCON
VertexCover
Reduction (file)
Autoreducibility
Isomorphism
LogSpaceTruthTable
ManyOne
OneOne
TruthTable
TruthTableVariants
Turing
TuringAutoreducible
AverageCase
ProofSystem
DecisionTree
AffineScore
Basic
CanonicalTree
Certificate
Composition
Cost
Fourier
Granularity
Influence
InnerProduct
Leaves
NormalForm
Observations
Parity
Restrict
Sensitivity
Separable
SpectralNorm
Switching
Symmetric
GenericRAM
Native (file)
BooleanFold
BooleanSearch
Certificate
Combinators
ExhaustiveCountFallback
HeavyBranchFold
IndexFold
MeasurementFold
Nat
SubsetPairFold
Signed (file)
Fits
Simulation
Finite
Run
Turing
SparseMemory
Basic
Turing
Algebraic
Defs
Geometry
Orthogonal
Encoding
Subdivision
Interactive
GKR
Layered
Protocol
Summand
Basic
Bundle
Plain
Security
Sequential
Sumcheck
Kolmogorov
AverageCase
Basic
ChainRule
Conditional
Depth
Incompressibility
Invariance
MINKT
MINcKT
MKtP
MultiTape
NisanWigderson
Partrec
SelfDelimiting
SingleTape
TimeBounded
Uncomputability
Languages
Slice
MCSP
AntiChecker
Basic
FormulaMagnification
HardnessConsequences
Magnification
NP
Partial
PartialETH
PartialNP
Shannon
Succinct
SuccinctNP
Machines
ReadMachine
Basic
StepMachine
Tidy
Turing
MultiTape
Alternating (file)
Game
GuessVerify
Combinators
Append
Comp
CopyWord
Encoding
Foldl
Id
Ite
IterateWhile
MultiPass
Reverse
StepMachine
StreamFold
TidyNormalForm
TidyZeroSpace
Transducer
ZipTransducer
Complexity
BigO (file)
Bounds
Constructible
NatPolynomial
Option
Pi
Plain
PolyTime
PolynomialPadding
Sum
Degree (file)
Bounds
Primitives
InSpace (file)
Bit
Plain
LogSpace (file)
ConfigurationGraph (file)
Basic
Bounds
Correctness
Expr
Radix
Routines
Tape
CounterProgram (file)
AllBranches
Boolean
Nondeterministic
Output
Unary
Words
InductiveCounting (file)
Bounds
Callbacks
Encoding
Graph
Machine
Routines
NondeterministicQueryMachine (file)
Bounds
Compiler
Native
Routines
Termination
Configurations
HaltingTime
QueryMachine
Reachability
Words
PolySpace (file)
Fold
Plain
PolyTime (file)
Int (file)
Binary
BinaryDiv
Matrix
Binary
Nat (file)
Binary
BinaryDiv
BinaryLog
Choose
Div
Factorial
Fin
Gcd
Log
PowMod
Prime
Search
Sqrt
RotationMap (file)
TowerTable (file)
Family
Family
Tower
Walk
Basic
BitString
Bounds
Configuration
DPi
Finite
Fold
Iteration
Length
List
Membership
Option
Pi
Plain
Sum
Tape
Window
Space (file)
Decode
Reachability
Savitch
Arith
BigOLe
Fold
InSpaceLib
LinearSpaceArith
Lists
Nondeterministic
Primitives
Quantitative
SpaceInTime
Streaming
Translate
Counting (file)
Oracle
Program
Replay
Alternative
Binary
Certificate
Checker
Composition
Deterministic
Execution
ExtendTapes
Guess
OutputPrefix
Program
Sequential
Verdict
Verifier
Encodings
Decoder (file)
Basic
Nat
Frame (file)
Basic
IntBinary (file)
Decode
List (file)
Index
Size
Nat (file)
Arithmetic
Bits
Division
Subtraction
Words
Basic
Bool
Capabilities
Configuration
DPi
Finite
Length
MultiPass
NatLength
NatPower
Option
Padding
Pair
Pi
StepMachine
StepMachineComp
StreamFold
Sum
Tape
Unary
WordEquality
Words
Halting (file)
Computable (file)
Defs
Basic
Hardwire
Partialize
Partrec
Reduction
Rice
SMN
Internal
BinaryAddition
BinaryComparison
BinaryCounter
BinaryNormalization
BinaryPrimitives
BinarySizeFacts
CodecWordMachines
ConditionalMachine
DecoderPrimitives
DecoderWordMachines
DegreeClosure
DegreeComposition
DegreeOptionPrimitives
DegreePrimitives
DegreeUnaryPrimitives
EqualityPrimitives
FoldCompiler
FrameMachines
KernelAppend
KernelComp
KernelFacts
KernelIte
KernelIterateWhile
KernelNormalForm
KernelOnWords
KernelTransducer
KernelZeroSpace
KernelZipTransducer
LinearCodecPrimitives
LinearPairPrimitives
LinearPrimitives
NormalForm
OCombinators
OCountedIteration
OLoops
OPrimitives
OnWords
PolyTimeBinaryDivision
PolyTimeBinaryPower
PolyTimeBinaryPrimitives
PolyTimeListBinaryLookup
PolyTimeListLookup
PolyTimeListMap
PolyTimeListPrimitives
PolyTimeListToBits
PolyTimeLoops
PolyTimeNatFrontends
PolyTimeOptionPrimitives
PolyTimePiPrimitives
PolyTimePrimitives
PolyTimeRadix
ResourceFacts
StepMachineCompiler
UnaryMachines
WordPredicates
Machine (file)
ChoiceTable
Clock
Composition
Equivalence
ExtendTapes
Finite
Halting
InputFromTape
Nondeterministic
OutputPrefix
OutputToTape
Program
Sequential
Simulation
Space
Plumbing
Tidy
Basic
Defs
Run
Branch
ClearShadowed
Cursor
ExtendTapes
ExtendTapesView
InputFromTape
InputHead
MarkWork
OnWords
OutputToTape
PrepareClock
PrepareInput
PreparePair
ReadInput
RepeatUntilBlank
RewindWork
Sequential
Shadow
TransformsTapes
TransformsWords
WhileCond
WhileInput
Probabilistic (file)
Replay (file)
Deterministic
Oracle
Simulation
Tidy (file)
Redirect
Clock
Closed
CoinTape
Composition
Deterministic
ExtendTapes
InputFromTape
IterateWhile
Loop
OrElse
Oracle
OutputPrefix
OutputToTape
PolynomialClock
QueryBounds
QueryTake
ReplayInput
RunsWords
Sampling
Sequential
SingleOracle
ResourceBounds (file)
Degree
Polynomial
StepMachine
Basic
Comp
Universal
Basic
Bound
Complexity
Compose
Correct
Decode
InPlace
Input
Machine
PolyTime
ResourceBound
Space
SpaceBudget
BlockTrace
Configuration
Deterministic
Feature
FiniteConfiguration
Map
Nondeterministic
OutView
PolyTime
Run
SingleTape
Space
TapeLemmas
SingleTape
Partrec
PostTuringMachine
TM2
Reverse
Bounds
Cleanup
Correct
Data
Execution
Input
InputProgram
Program
Representation
Tape
TapeSpace
Transfer
ConfigBound
Encoding
PolySpace
PolyTime
Recoding
Simulation
PCP
Amplification (file)
Arithmetic
Family
Approximation
Hastad (file)
LinearTest
IndependentSet
LabelCover
MaxCSP
MaxExactThreeSAT
MaxThreeSAT
AssignmentTester (file)
Selection
Encoded
Amplification (file)
Arithmetic
Enumeration
Iteration
AssignmentTester (file)
Enumeration
Composition (file)
Enumeration
GenericComposition (file)
Enumeration
Preprocess (file)
Programs
SelectedComposition (file)
Enumeration
Verifier (file)
Reduction
Repetition
Soundness
AddTrivial
Basic
Cloud
CloudRotation
Constraints
DegreeReduction
GapTheorem
Iteration
Power
SelectedAssignmentTester
Size
ThreeSAT
ParallelRepetition
Recursion
Power (file)
Complexity
WithInput
Amplifier
Completeness
Composition
ConstraintGraph
DegreeReduction
GapTheorem
GenericComposition
LocalTest
PoweringBound
Preprocess
RegularConstraintGraph
SelectedComposition
ThreeSAT
TwoProverGame
PolyTime
BitString
InitialTestsSearch
BooleanAnalysis
BoundedIncidenceCounter
BoundedIncidenceExactness
BoundedIncidenceSemantics
BoundedIncidenceStepCert
SparsePolyCounter
CNF
BranchedSparseCNFCounter
GreedyParityContext
GreedyParitySearch
SparseCNFLeafCounter
SparsePolyCompile
FineGrained
ParameterCheck
Int
ExactDiv
Jet
Table
LinearAlgebra
BooleanMeasurements
CopyPlacement
ExchangeReplacement
ReplacementDesignBuilder
CommonCountingAccum
GreedyLabelSchedule
GreedySlotScore
JetArray
ParityFactorEval
SparseMonomialJet
Probabilistic
Oracle (file)
Composition
Iteration
Memoize
Normalization
Parameter
SingleOracle
Substitution
Tidy
PPT (file)
Capture
Clock
Composition
Realization
OpenOracleSimulation
OracleSimulation
Adaptive
BoundedUniform
CenteredBinomial
CoinTape
Finite
LinearHash
Memoize
OracleSimulation
Parameter
Presample
QueryBounds
Repeat
Sampling
Selection
Traverse
UniformNat
QueryComplexity
ApproximateDegree (file)
Or
Quantum
Grover
Search
Randomized (file)
Nisan
SensitivitySeparation (file)
Internal
Basic
Bridge
Composition
ConstructedSeed
Construction
Defs
FixedCoordinates
HammingBase
InitialPredicates
Iterates
Labeling
LabelingBounds
LabelingConstraints
LabelingEstimate
LabelingEvents
Or
ParameterBounds
PowerAmplification
ProfileArithmetic
QuantitativeProfiles
Recursive
RecursiveBlocks
RecursiveCandidates
RecursiveChildren
RecursiveDefinitions
RecursiveFailures
RecursiveFlips
RecursiveJointZero
RecursiveOne
RecursiveProfiles
RecursiveRepair
RecursiveSets
RecursiveZero
Reindex
ScalarBounds
SeedAmplification
Separation
SeparationArithmetic
Tournament
TournamentCounts
TournamentCyclic
Tower
TowerProfiles
Degree
Huang
Midrijanis
Monotone
NisanSzegedy
OneSided
Relations
Restriction
SensitivityBounds
Threshold
Yao
RAM
Cost
Defs
Input
Squaring
Reduction
ManyOne
TreeEval
Ary
Basic
CookMertz
Reader
Cert
Machine
Offset
Regs
Residue
Step
Weight
Arith
Correct
Defs
Encode
Invariant
Size
Tuple
Basic
CookMertz
Encoding
Instance
Iterative
Space
USTCON
Reader
Cert
Correct
Defs
Encode
Invariant
Space
WordRAM
Multiword (file)
Arithmetic
Bank
BankArithmetic
BankOps
BankScalar
Bitwise
Circuit
CircuitRun
Compile
Digits
Mul
Shift
Sub
Transfer
Workspace
Randomized
Defs
Expected
LoopSegment
Structured
Signed
Arithmetic
Comparison
Compile
Encoding
Fits
Input
Operations
State
Allocation
ArrayAppend
ArrayNormalize
Basis
Compile
Controller
Copy
Defs
Dynamic
ExactNotation
Function
Generic
GhostLoop
Heap
InputArray
ListArray
MapOp
MemoryWindow
Native
Notation
PackedCount
Power
RAM
RAMInput
RegisterFrame
Sequence
Structured
Subroutine
Time
Trace
Width
Crypto
Computational
CramerShoup (file)
ProjectiveHash
Reductions
Scheme
DiffieHellman (file)
EncodingBounds
MultiDDH
Order
DiscreteLog (file)
SchnorrGroup
ElGamal (file)
GeneralCipher
KDF
ProbComp
Encryption
Authenticated
Basic
CCA
Circular
EncryptThenMAC
Hybrid
PolyTime
PublicKeyReplacement
GGM
Circuit
Evaluation
Expansion
Hybrid
Reduction
Security
GMW
PolyTime
Protocol
Simulator
Soundness
GoldreichLevin
Decoding
HardCore
Nonuniform
Parameters
Reduction
WordDecoder
WordReduction
Homomorphic
BitEncryption (file)
PolyTime
Circuit (file)
PolyTime
Evaluation (file)
PolyTime
FixedKey
Basic
Bootstrapping
Correctness
Encoding
PolyTime
Reduction
Security
GSW
CircuitEvaluation (file)
PolyTime
DecryptionCircuit (file)
Parameters
PolyTime
DepthParameters (file)
Scheme
Security
Sampling (file)
Randomness
Serialized
Serialized (file)
Evaluation (file)
PolyTime
Correctness
PolyTime
Basic
Decoding
Decryption
FullyHomomorphic
Gadget
Hiding
LWE
Noise
Parameters
Security
KeyChain (file)
Hybrid (file)
Game
PolyTime
Reduction (file)
Game
PolyTime
PolyTime
Security
Layered (file)
Correctness
PolyTime
Leveled
Reduction (file)
Game
PolyTime
Basic
Bootstrapping
Compactness
Correctness
Encoding
PolyTime
Security
Basic
Efficiency
Refresh
Hybrid
SavedPrediction
Sequence
LWE
Basic
MerkleSignature (file)
Security
MerkleTree (file)
Binding
NaorReingold (file)
PRF
Security
OneWay (file)
Amplification
BPP
Collision
CondEPPRG
LiuPass
LiuPassConverse
MCSP
NP
Normalize
Weak
Pseudoentropy
Boosting
Clipped
Decision
Learner
Loop
Potential
Program
Progress
Sampling
Selection
Training
ThreeSource (file)
Amplification
Candidates
Combined
Padding
Seeded
Basic
DenseMask
EntropyGrid
ExtractionSchedule
Generator
HashPair
HashReduction
LabelExtraction
Learning
MaskedExtraction
Masking
MatrixExtraction
OneWay
Reduction
RepeatedExtraction
Seed
SeedExtraction
Selection
SequenceLearner
WordExtraction
WordReduction
WordSeedExtraction
PseudorandomFunction (file)
RandomOracle
TruthTable
SIS
Basic
Stretch (file)
Quantitative
Basic
CollisionResistant
Commitment
GeneratorPadding
GeneratorReindex
GeneratorXor
HardCore
IndexedSignature
MAC
MerkleDamgard
OneWayToPRF
OneWayToPRG
OneWayToSignature
PRGToOneWay
PedersenCommitment
Prediction
PseudorandomGenerator
SchnorrIdentification
Signature
UniformChoice
ZeroKnowledge
Game (file)
Hybrid
Statistical
UntilBad
Negligible (file)
Basic
Dyadic
Primitives
PRG
NisanWigderson (file)
Circuit
Derandomization
Design
Reconstruction
Sampling
Circuit
Game
NextBit
Protocols
Cipher
EvenMansour
LubyRackoff
MAC
CarterWegman
MPC
Basic
CircuitEval
Composition
PolyTime
SharedMul
SigmaProtocol
Lyubashevsky (file)
NativeExtract
Abort
Basic
Composition
FiatShamir
Identification
Linear
SchnorrIdentification
SchnorrSignature
Signature
RandomOracle
Foundations
Algebra
FiniteMagnitude
GeometricTail
Analysis
InnerProductSpace
Basic
SpecialFunctions
Arccos
BernoulliInequality
HarmonicMean
LpNorm
LpNormMeasure
MarkovBrothersInequality
BooleanAnalysis
Hypercontractivity (file)
Derivative
LpNorm
Tensorization
TwoPoint
LowDegree (file)
Addition
Dimension
Bernoulli
Bonami
BucketWeight
Convolution
CoordinateSampling
Decomposition
Degree
Fibers
Fourier
FourierBitVal
FourierDegree
FourierRestriction
FriedgutJunta
Hadamard
HadamardRectangles
HadamardTester
HammingFourier
HarmonicTransform
Hypercube
Influence
KahnKalaiLinial
LightPatterns
Linearity
LongCode
LowDegreeParity
MaximalSupport
MirrorSets
Mobius
Monotone
MultilinearExtension
Noise
PolynomialCorrelation
QuadraticForm
RelevantCoordinates
SignApproximation
SparseBranching
SparseClearedSpecialization
SparseEquations
SparseHermiteRecovery
SparseReplacementDesign
Symmetrization
Tribes
Combinatorics
Additive
SumsetCover
AffineDisperser (file)
AffineSubspace
Basic
BinaryField
Bits
Explicit
IndependentSources
Threshold
Expander
AffineFamily
AffinePlane
AffineTower
Basic
Cayley
Cheeger
Connected
Contraction
Existence
Family
Hitting
Hom
IteratedProd
KilledWalk
Lazy
Loops
LowerBound
Mixing
Multigraph
Perm
Power
Random
Reindex
Reingold
Replacement
SimpleGraph
SlotGraph
Spectrum
TannerCode
Tensor
Tower
TowerFamily
Walk
Zigzag
FiniteCover (file)
Basic
FunctionalGraph (file)
Active
CheckpointForest
Checkpoints
Commutation
Cycle
DistinguishedPoints
ForestDuality
ForestIntervals
ForestNavigation
ForestSegments
HittingTime
Powers
Projection
Spectrum
LineCode
HighRate (file)
Monomial
Packing
Rate
Systematic
Menu (file)
Collision
Counting
Basic
Line
SimpleGraph
Metric
Sunflower (file)
LowerBound
Pluck
BalancedSchedules
BinomialTail
CentralBinomial
DepthReduction
FunctionPlaces
GreedySchedules
Hoeffding
Hypergeometric
HypergraphCut
Janson
Lautemann
MajorityTree
MajorityVote
Multigraph
PartialLabelScores
PowersetTail
ReplacementCounting
ReplacementDesignBridge
SharedSummaries
SmallSubsets
SubsetPairCount
UniformSchedules
Control
Monad
IsMonadHom
StateT
Memoize
Data
BitString
List (file)
Binary
Operations
Vote
Parity (file)
DotProduct
Weight
PartialAssignment (file)
Counting
Affine
AffineSubspace
Agree
AgreeExpect
Basic
Binary
Block
Convolution
Counter
CoverCoding
Enumeration
Flip
Hamming
InitialTests
Isolation
ParityTestBounds
ParityTests
Prefix
Propagation
ShortWords
Sign
Support
Threshold
Weight
WordCount
ZModTwo
Code
AsymptoticallyGood
Basic
BerlekampWelch
Concatenation
Hadamard
HammingBound
HintDecoding
Johnson
Justesen
Linear
ListDecoding
LocalDecoding
LocalListDecoding
LowDegreeExtension
Multilinearity
MultilinearitySoundness
ReedMuller
ReedSolomon
SelfCorrection
Singleton
Sudan
SudanInterpolant
Fin
Append
Order
Tuple
Finset
Average
Expect
Finpartition
Markov
OrderGlue
OrderedFilter
Quantile
Quotient
Sampling
SubsetSum
SymmDiff
Hamming (file)
Expansion
Int
LogBounds
Order
Residue
List
Append
BalancedFold
Basic
Counting
Equiv
Filter
Fold
Last
Lex
Lookup
OfFn
Range
RowMajor
SelectDistinct
Matrix
Binary
IntegerBits
PairChunks
Permanent
Reindex
TotallyRegular
MvPolynomial
AffineTaylor
Catalecticant
CoefficientDegree
DualNumber
Hessian
HessianRank
SetMultilinear
SetMultilinearProjection
SetMultilinearProjectionProd
Nat
Bitwise
HighestDiff
Multiplication
PackedCount
Packing
Projection
Sparse
SumTree
Choose (file)
Real
PolynomialBound
Closure
Exponential
Log
Radix (file)
Measurement
ArithmeticProgression
Asymptotics
BinarySize
Bits
Card
CeilDiv
Div
Factorial
IntermediateValue
Log
OfDigits
Power
Prime
Primrec
SqrtRatio
OrderedSet (file)
Spec
Polynomial
BivariateCoeffNorm1
CoeffList
CoeffNorm1
HermiteInterpolation
ParityAmplifier
ParityAmplifierDegree
SignQueries
StagedJetArithmetic
Rat
Basic
Seq
Computation
Set
Card
ZMod
Basic
BiTape
Option
StackTape
FieldTheory
Finite
Basic
BinaryField
LinearizedPolynomial
ReducedMonomial
Subfield
Trinomial
UnitSum
TensorBasis
Geometry
Euclidean
Angle
Unoriented
Basic
Cap
Orthogonal (file)
Directions
Endpoint
Isolation
Join
Layout
Macrocell
Mirror
Neighborhood
PairedBoundary
PairedPorts
PairedSpokes
Reverse
Scale
Separation
Simple
Subdivision
Trim
GroupTheory
Perm
Fin
FiveCycle
Last
LinearAlgebra
Matrix
CutRank
Kronecker
Lindsey
ListProd
Moore
Rank
RectPermanent
SchurComplement
SubmatrixRobust
Toeplitz
CubeSum
ExchangeReplacement
ImageSparsification
Interpolation
KernelVector
PivotSpace
Rank
ReplacementDesign
VariableCopyPlacement
Logic
Function
Iterate
MeasureTheory
Constructions
BorelSpace
Order
NumberTheory
AKS
Correctness
Criterion
Introspective
SmallR
Harmonic
PrimeCounting
PrimeWindow
SqrtPrimeWindow
Order
BooleanSubalgebra
Changes
UpperLower
Probability
Gaussian
Multivariate
Real
Sheppard
SecondMoment
Quantum
Measurement
Relation
InductiveCounting
RelatesWithinSteps
RingTheory
CyclicIntRing
Semantics
Stateful
Amortized
Basic
Composition
CostHoare
Hoare
Module
Realization
Resource
Languages
Probabilistic
Oracle (file)
Interaction
QueryCount
Simulation
Support
Transcript
QueryCount (file)
Support
RandomOracle (file)
Probabilistic
Basic
BitString
BoundedUniform
CenteredBinomial
Concentration
Expect
Forking
Iteration
LinearHash
Memoize
Notation
Presample
RandomPermutation
Repeat
Selection
Semantics
Sharing
Simulation
Sum
Transcript
Traverse
UniformNat
UntilBad
Vector
Logics
FirstOrder
Encoding (file)
Layout
Interpretation (file)
Constants
Encoding
Rank
Tagged
Tuple
Unit
Ordered
BitSum (file)
Encoding
DomainInterpretation (file)
Certificate
Composition
Encoding
FullTuple (file)
Composition
DomainInterpretation
Encoding
Multiplication (file)
Blocks
Bounds
Columns
Radix
Arithmetic
Bit
Conversion
Decode
Multiplication
Tuple (file)
Flatten
Addition
Basic
BitArithmetic
Constants
Interpretation
Packing
Query
Reduction
TupleBit
TupleInterpretation
TupleSuccessor
Problems
CNF
Coloring
ColoringReduction
ColoringToCNF
IndependentSetReduction
SizedGraph
Projection (file)
Graph
Reduction (file)
Nontrivial
QuantifierFree
Basic
ProjectionFormula
QuantifierFree
Subformula
Tuple
Propositional
CNF (file)
Compact (file)
ModelCount
Relabel
ExactOne (file)
BlockBounds
Blocks
Compile
FromSAT
Gadgets
ModelCount
PolyTime
Positive
ModelCount (file)
Declared
DenseRelabel
Relabel
Planar
Crossover
CrossoverCounting
CrossoverSplit
DirectedWire
PairedCrossover
PairedWire
ThreeCNF (file)
Exact (file)
PolyTime
PolyTime
ThreeOccurrence (file)
PolyTime
Coding
ExactTests
ExactlyOne
Gadgets
ImplicationChain
ImplicationCycle
Occurrence
Parity
ParityTests
PolyTime
PolynomialTests
SparseDesignCounter
SparseParityCounter
TwoCNF
UnsatVal
CSP (file)
ToBoolean
ToCNF
ClauseSet
Sparsification (file)
Bounds
Counting
CountingBounds
CountingDeletion
CountingInsertions
CountingList
CountingOccurrences
CountingParameters
CountingParametersPolyTime
CountingPathBounds
CountingPolyTime
CountingSearch
CountingSurvival
CountingTree
CountingTreeBounds
CountingUnits
List
Path
PolyTime
Search
Step
Tree
Basic
SubcubeFree
Parity (file)
DepthThree
QBF (file)
Arithmetization
Resolution (file)
Pigeonhole
Proof
Restrict
SizeWidth
TreeLike
Tseitin
TseitinExpander
DNF
Pigeonhole
SigmaThree
Tseitin
SecondOrder
Coloring
Existential
Grounding
IndependentSet
Projection
Reduction
MachineLearning
UniformLearning
AC0
Basic
KushilevitzMansour
LowDegree
MembershipQuery
Probability
ApproximateCounting (file)
Relative
BitString (file)
LinearHash (file)
Collisions
List (file)
All
Vote
SubsetSum (file)
Matrix
AffineHash
CorrelatedSampling (file)
Embeddability
Embedding
Entropy (file)
BitString
Extractor
Basic
LeftoverHash
TwoSource
Fooling (file)
OneSided
HashFamily (file)
MultiplyShift
Polynomial
Uniform
KWiseIndependent (file)
Polynomial
Trinomial
MinEntropy (file)
Flat
LeftoverHash
PMF (file)
Bind
Event
Expect
Map
Uniform
PairwiseIndependentHash (file)
Affine
Shift
Toeplitz
Universal
ProductConditioning (file)
SideInformation
SmallBias (file)
Powering
Random
StatisticalDistance (file)
Coupling
Product
UniformMod
AdaptiveWeights
BoundedDifferences
Chernoff
Collision
Concentration
Conditioning
Divergence
EntropyConcentration
EntropyExtraction
Forking
Guessing
HashIsolation
IID
Isolation
LocalLemma
LoomisWhitney
Minimax
PairwiseIndependent
Pinsker
Product
Quantile
RejectionSampling
Resilience
Rewinding
Shearer
Uniform
UniformNat
UniversalHash
Tactic
FirstOrder (file)
Init
PolyTime (file)
Init
Stateful (file)
Init
PPT
Synthesis
WordRAM
Init
Cslib
Computability
Circuit
Boolean
Basic
Complexity
Counting
Lupanov
LupanovConstruction
Shannon
Synthesis
Basic
Complexity
Composition
Counting
Depth
Finite
Full
Homomorphism
Normalization
Program
RelativeComplexity
Shannon
Signature
Simulation
Synthesis
Wire
Languages
Slice
Machines
Turing
MultiTape
Combinators
AlmostConstant
Id
Plumbing
Tidy
Defs
ClearWork
ExtendTapes
ForwardWork
InputFromTape
OutputToTape
RepeatUntilBlank
RewindInput
RewindWork
Sequential
TransformsTapes
WordsCfg
ConfigBound
Configuration
Deterministic
Nondeterministic
Space
TapeLemmas
SingleTape
Deterministic
QueryComplexity
Defs
Measures
URM
Basic
Defs
Crypto
Primitives
PRG
Asymptotic
Basic
Defs
Negligible
Foundations
Control
Monad
IsMonadHom (file)
List
Data
Fin
Tuple
List
IsChainFromTo
Nat
Asymptotics
Factorial
PolynomialBound
PFunctor
Basic
Free
Polynomial
Monotone
BiTape
BitString
StackTape
Lint
Basic
Logic
InferenceSystem
Operators
Relation
Defs
RelatesInSteps
Semantics
FLTS
Basic
LTS
Basic
MachineLearning
PACLearning
Defs
Probability
PMF
StatisticalDistance
Tactic
GrindAttrs
Init
references (file)

Color scheme