Welcome to OSCAR
General
Combinatorics
- Introduction
- Graphs
- Partially Ordered Sets
- Matroids
- Simplicial Complexes
- Phylogenetic Trees
- Enumerative combinatorics
Groups
Rings
- Introduction
- Ring functionality
- Integers
- Univariate Polynomials
  - Univariate polynomial functionality
- Multivariate Polynomials
  - Multivariate polynomials
- Euclidean Rings
  - Euclidean Ring Interface
- Modular Methods
  - Introduction
- Series Rings
Fields
Linear Algebra
- Introduction
- Working with matrices
- Matrix spaces
- Matrix algebras
- Modules
- Specialized matrix types
  - Nemo matrices
  - Sparse linear algebra
Number Theory
- Introduction
- Number Fields
- Orders
- Elliptic Curves
- Quadratic and Hermitian forms
- Quadratic forms and isometries
- Finite rings
- Abelian closure of the rationals
- Galois Theory
Polyhedral Geometry
Commutative Algebra
Invariant Theory
Algebraic Geometry
Tropical Geometry
Noncommutative Algebra
Lie Theory
Straight Line Programs
Experimental: Tools in the Making
- Adding new projects to experimental
- Experimental Template
  - Introduction
  - An example documentation
- Action Polynomial Rings
- Algebraic Shifting
- Algebraic Statistics
- Bases for highest weight modules
- Clifford Algebras
- Double complexes
  - Double complexes – the user's interface
  - Advice for the programmer
- Drawing Curves
  - Introduction
- Drinfeld–Hecke Algebras
- Extensions
  - Extensions
- F-Theory Tools
- G-Modules
  - Introduction
- Gröbner walk
  - Usage
  - Special ideals used for benchmarking
- Intersection Theory
- Lie Algebras
- Linear Algebraic Groups
  - Introduction
  - Overview
- Linear Quotients
- Local Cohomology
- Matroid Realization Spaces
  - Matroid Realization Spaces
- ModularGroup
  - Introduction
  - Modular subgroups
- Orthogonal discriminants
- OscarDB
  - OscarDB
  - Realizations of self-projecting matroids
- Parallel
  - Parallelization in Oscar
- Partitioned Permutations
  - Partitioned Permutations
- $q$-Analogs
  - $q$-analogs
- Standard Finite Fields
  - -
- Subalgbera (SAGBI) Bases
  - Subalgbera (SAGBI) Bases
- Wreath Macdonald polynomials
  - Wreath Macdonald polynomials
References
Index
Developer Documentation
- Contributing
- Implementation Details
- Testing, Debugging, and Performance
- Data
  - Serialization
  - Artifacts
- Maintenance
  - Release management
  - Updating CHANGELOG.md
- Topic-specific internals
  - Algebraic Geometry
    - Architecture of affine schemes
  - Commutative Algebra
    - A Framework for Localizing Rings
    - Localizations of modules over computable rings
  - Linear Algebra
    - Matrix implementation
    - Linear solving interface
  - Polyhedral Geometry
    - AbstractCollection
    - SubObjectIterator

Version

General
Notes for users of other systems
Notes for SageMath users

Notes for SageMath users

Notes for SageMath users

Help wanted

There really should be more here. Please tell us what is missing, see Notes for users of other computer algebra systems.

« Notes for Magma users Notes for Singular users »

Powered by Documenter.jl and the Julia Programming Language.

Settings

Theme

This document was generated with Documenter.jl version 1.20.0 on Friday 13 November 2026. Using Julia version 1.10.13.