Bertini 2 d882924 (2026-10-06 19:56 UTC)
Numerical algebraic geometry library (C++ core)
Loading...
Searching...
No Matches
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123456]
 Cbertini::tracking::AdaptiveMultiplePrecisionConfigHolds the program parameters with respect to Adaptive Multiple Precision
 Cbertini::blackbox::AlgoBuilderA de-serializer, whose responsibility it is to construct runnable objects based on input files
 CAlgorithmEvent
 Cbertini::algorithm::AlgorithmMetaDataMetadata structs
 Cbertini::algorithm::AlgoTraits< T >
 Cbertini::endgame::AlgoTraits< T >
 Cbertini::endgame::AlgoTraits< CauchyEndgame< PrecT > >Specialization for Cauchy, which uses CRTP
 Cbertini::algorithm::AlgoTraits< HomotopySolver< TrackerType, EndgameType, SystemType > >Specify the traits for the algorithm
 Cbertini::algorithm::AlgoTraits< NumericalIrreducibleDecomposition< TrackerType, EndgameType, SystemType > >Specify the traits for the algorithm
 Cbertini::endgame::AlgoTraits< PowerSeriesEndgame< PrecT > >Specialization for PowerSeries, which uses CRTP
 Cbertini::algorithm::output::AllSolutionsExtracts all solutions from a solver's results
 Cbertini::AnyEventStrawman Event type, enabling polymorphism
 Cbertini::AnyObserverStrawman base class for Observer objects
 Cbertini::detail::AreValidArguments< bool >
 Cbertini::algorithm::AutoRetrackConfigConfiguration for auto-retracking paths flagged as crossed
 Cbertini::blocks::BlendBlock< SystemT >A block forming the blend (coupling homotopy) H = sum_i c_i(t) * operand_i of several systems
 Cbertini::endgame::CauchyConfigCauchy-endgame configuration
 Cbertini::algorithm::output::Classic< T >
 Cbertini::generators::ClassicGenerators emitting numbers and vectors in classic Bertini format (real then imaginary)
 Cbertini::algorithm::output::Classic< HomotopySolver< A, B, C > >Writes a solver's results in the classic Bertini output format
 Cbertini::classic::ClassicWriteOptionsTracking / precision settings to emit in the CONFIG section, in Bertini 1 terms
 Cbertini::parsing::classic::ConfigParser< Ts >Base variadic parser for parsing many config structs at once
 Cbertini::parsing::classic::ConfigParser< ConfigT >Specialization of ConfigParser for a single config struct
 Cbertini::parsing::classic::ConfigParser< detail::TypeList< Ts... > >Specialization of ConfigParser for a typelist, returning a thing passed down from the base variadic case
 Cbertini::blackbox::config::ConfigsBundles of configuration types, as TypeLists, grouped by solve stage
 Cbertini::detail::Configured< Ts >This templated struct allows one to provide a variable typelist of config structs (or anything else for that matter), and provides a way to get and set these configs by looking up the structs by type
 Cbertini::detail::Configured< AlgoTraits< FlavorT >::NeededConfigs >
 Cbertini::detail::Configured< AlgoTraits< HomotopySolver< TrackerType, EndgameType, SystemType > >::NeededConfigs >
 Cbertini::detail::Configured< AlgoTraits< NumericalIrreducibleDecomposition< TrackerType, EndgameType, SystemType > >::NeededConfigs >
 Cbertini::detail::Configured< Configs::All< bertini::complex_dbl >, Configs::All< bertini::complex_mp > >
 Cbertini::detail::Configured< MidPathConfig >
 Cbertini::detail::Configured< TrackerTraits< D >::NeededConfigs >
 Cbertini::detail::Configured< TrackerTraits< FixedPrecisionTracker< DoublePrecisionTracker > >::NeededConfigs >
 Cbertini::detail::Configured< Ts... >
 Cbertini::ConstantRecipeAn exact, node-independent description of a constant baked into the program: enough to (re)produce the constant's value at any working precision, without evaluating a function-tree node (ADR-0027; node evaluation is being retired)
 Cbertini::nag_datatype::policy::Copy< T >Storage policy that holds objects by value (a copy)
 Cbertini::generators::CPlusPlusGenerators emitting numbers in C++ source literal format
 Cbertini::algorithm::MidpathChecker< RealT, ComplexT, MetaDataType >::CrossedPathStores data for each path that crosses, including the index of the path, all paths that it crosses with, and whether it has the same starting point as a path it crosses with
 Cbertini::node::DecodingContextThe back-reference table of one decoding pass: the nodes in first-encounter order, so #<index> resolves to the node the encoder numbered index
 Cbertini::node::DecodingCursorA read position over one canonical-encoding text, with the small lexical helpers the grammar needs (literals, words, netstrings, numbers)
 Cbertini::detail::DefaultConstruct< T >Holds a default-constructed value of T, used to fill arguments not present when unpermuting
 Cbertini::policy::DefaultConstruct< VisitedT, RetT >A policy for what to do when a visited type is encoutered by a visitor it doesn't know
 Cbertini::detail::Digest256A 256-bit content digest – the output of Sha256, used as a persistent identity key
 Cbertini::records::DrawStreamA deterministic, fully-specified random stream (SHA-256 counter mode)
 Cbertini::algorithm::EGBoundaryMetaData< ComplexT >State captured at the endgame boundary, handed off to start the endgame
 Cbertini::endgame::EGPrecSelector< TrackerT >Base empty class
 Cbertini::endgame::EGPrecSelector< tracking::AMPTracker >Selects the AMP endgame precision policy for the adaptive-precision tracker
 Cbertini::endgame::EGPrecSelector< tracking::DoublePrecisionTracker >Selects the fixed-precision endgame policy for the double-precision tracker
 Cbertini::endgame::EGPrecSelector< tracking::FixedPrecisionTracker< D > >Selects the fixed-precision endgame policy for a fixed-precision tracker
 Cbertini::endgame::EGPrecSelector< tracking::MultiplePrecisionTracker >Selects the fixed-precision endgame policy for the multiple-precision tracker
 Cstd::enable_shared_from_this
 Cbertini::node::EncodingContextTraversal state for one canonical-encoding pass: the back-reference table
 Cbertini::algorithm::classic::EndgameChoiceConfigSelects which endgame to use (classic input)
 Cbertini::endgame::EndgameConfigConfiguration common to all endgames (sampling and final-approximation tolerances)
 CEndgameEvent
 Cbertini::endgame::EndgameSelector< TrackerT >Facilitates lookup of required endgame type based on tracker type
 Cbertini::Event< ObsT, IsConst >
 Cbertini::tracking::predict::ExplicitRKPredictorA class which stores all the explicit single-step multi-stage ODE predictor methods
 Cmpl::false_
 Cstd::false_type
 Cbertini::tracking::FixedPrecisionConfigSettings for a fixed-precision tracker (carries the single working precision in effect)
 Cbertini::parallel::FullPathResult< ComplexT >Result of executing one WHOLE path: start -> endgame boundary -> target
 Cqi::grammar
 Cstd::integral_constant
 Cbertini::detail::IsTemplateParameter<... >Base template, which says 'no', it's not in the pack
 Cbertini::detail::IsTemplateParameter< F, S, T... >Specialized template, which says 'yes', if it is in the pack, by recursively expanding the pack
 Cbertini::detail::IsTemplateParameter< T, TypeList< Ts... > >IsTemplateParameter specialization accepting the candidate types packaged in a TypeList
 Cbertini::blocks::LinearFormsBlockA block of system functions, each an affine linear form f_i(x) = c_i
 Cbertini::detail::ListCat< Ts >Concatenate two typelists
 Cbertini::detail::ListCat< TypeList< Ps... >, TypeList< Qs... >, TypeList< Rs... > >A specialization of ListCat for joining 3+ lists
 Cbertini::detail::ListCat< TypeList< Ts... >, TypeList< Rs... > >A specialization of ListCat for joining two lists
 Cbertini::logging::Logging
 Cbertini::algorithm::MetaConfigTop-level meta configuration: which algorithm to run
 Cbertini::algorithm::MidpathCheckReportSummary of what the midpath (path-crossing) check found at the endgame boundary, and what the algorithm did about it
 Cbertini::algorithm::MidPathConfigConfiguration for the midpath (path-crossing) check
 Cbertini::node::NameHolderCapability class for things which have a name
 Cbertini::tracking::NewtonConfigSettings governing the Newton corrector's iteration bounds
 Cbertini::tracking::correct::NewtonCorrector/class NewtonCorrector
 Cbertini::algorithm::NewtonRefineResult< ComplexT >The outcome of a standalone Newton refinement
 Cbertini::NodeMatrixA matrix of expression-tree nodes (the symbolic Jacobian), stored row-major
 Cbertini::algorithm::output::NonsingularSolutionsExtracts the nonsingular (multiplicity-one) solutions from a solver's results
 Cbertini::nag_datatype::NumericalIrreducibleDecomposition< ComplexT, SystemT, ObjManagementP >The NID data type for Bertini2
 Cbertini::NumTraits< T >Numeric traits for a bertini number type: digit counts, conversions, and companion types
 Cbertini::NumTraits< complex_dbl >Numeric traits for double-precision complex numbers
 Cbertini::NumTraits< complex_mp >Numeric traits for multiprecision complex numbers (digit counts follow the thread precision)
 Cbertini::NumTraits< double >Numeric traits for the built-in double type
 Cbertini::NumTraits< mpq_rational >Numeric traits for exact rationals (provides decimal-string parsing)
 Cbertini::NumTraits< real_mp >Numeric traits for multiprecision reals (digit counts follow the thread precision)
 Cbertini::ObservableAn abstract observable type, maintaining a list of observers, who can be notified in case of Events
 Cbertini::records::OutputDirectoryOne structured output directory: definitions/ + history/ + derived views
 Cbertini::algorithm::output::Outputter< AlgoT >Prints data from algorithms
 Cbertini::algorithm::zero_dim_detail::OwnedHomotopy< SystemType >Owns and builds the target / start system / homotopy for a zero-dim solve
 Cbertini::ParsedArgsParsed results of the command-line arguments
 Cbertini::linalg::PartialPivLU< NumT >Stateful partial-pivot LU factor/solve with preallocated, precision-adjustable banks
 Cbertini::PatchAn affine chart on a product of projective spaces
 Cbertini::blocks::PolynomialBlockThe polynomial evaluation block: function trees + derivatives + SLP
 Cbertini::detail::Pool< ObjT, PointerPolicy >A process-wide cache of objects, held by pointer, that hands out shared references
 Cbertini::detail::Pool< System >
 Cbertini::detail::Pool< Vec< NumT > >
 Cbertini::parallel::PoolShutdownSentinel
 Cbertini::algorithm::PostProcessingConfigConfiguration for post-processing solutions (reality/finiteness/singularity classification)
 Cbertini::endgame::PowerSeriesConfigPower-series-endgame configuration
 CPrecisionEvent
 Cbertini::system::PreconA collection of preconstructed example systems, for tests and demonstrations
 CPrecT
 Cbertini::blocks::ProductsOfLinearsBlockA block of system functions, each a product of linear forms
 Cbertini::policy::RaiseExceptionWithTypeNamesInMessage< VisitedT, RetT >A policy that throws (with the offending type names) when an unknown visitor is encountered
 Cbertini::algorithm::RandomConfigThe RNG seed a classic Bertini input file asks for, via randomseed: N;
 Cbertini::blocks::RandomizationBlock< SystemT >A block that randomizes an overdetermined operand system down to a square one (with a constant coefficient matrix)
 Ckarma::real_policies
 Cbertini::algorithm::RecordsConfigHow a recording algorithm uses the records it finds: not what to compute, but what already-recorded work counts as done
 Cbertini::nag_datatype::policy::Reference< T >Storage policy that holds a reference to an externally-owned object
 Cbertini::algorithm::RegenerationConfigConfiguration for the regeneration cascade
 Cstd::runtime_error
 Cbertini::scoped_mpfr_precision_options_all_threadsRAII guard setting the multiprecision variable-precision options for all threads, restoring on scope exit
 Cbertini::scoped_mpfr_precision_options_this_threadRAII guard setting the multiprecision variable-precision options for the current thread, restoring on scope exit
 Cbertini::algorithm::HomotopySolver< TrackerType, EndgameType, SystemType >::ScopedSessionStateRestores the ambient session state a solve may perturb: "a solve leaves the session as it found it"
 Cbertini::ScopedStopRequestClears any stale stop request on the way in, and again on the way out
 Cbertini::endgame::SecurityConfigSecurity (divergence-bailout) configuration for an endgame
 Cbertini::detail::SharedPointerPolicy< ObjT >Pool pointer policy that holds objects via std::shared_ptr
 Cbertini::nag_datatype::policy::SharedPtr< T >Storage policy that holds objects via std::shared_ptr
 Cbertini::algorithm::output::Sharpen
 Cbertini::algorithm::Sharpen< SystemType >
 Cbertini::algorithm::SharpeningConfigConfiguration for sharpening computed solutions
 Cbertini::detail::SingletonA virtual singleton base class which can be used in a heirarchy to require a class to be singleton
 Cbertini::SliceA linear slice of affine or projective space: a stack of linear forms, M [x ; 1]
 Cbertini::SLPInputLocationsA struct encapsulating the starting locations of inputs in the SLP's memory layout
 Cbertini::SLPMemoryThe per-thread mutable working state of a straight-line program evaluation: the register file (one bank per number type), the working precision, and the freshness / frozen-prologue flags
 Cbertini::SLPNumberOfA struct encapsulating the numbers of things appearing in the SLP
 Cbertini::SLPOutputLocationsA struct encapsulating the starting locations of outputs in the SLP's memory layout
 Cbertini::SLPProgramThe immutable compiled straight-line program (ADR-0027): the instruction tape, the constant recipe (true values of numbers + integer bank), and the memory layout (numbers of / locations of things)
 Cbertini::algorithm::SolutionMetaData< ComplexT >Per-solution metadata gathered during and after a path track
 Cbertini::algorithm::SolveReportA concise, human-readable summary of a zero-dimensional solve: how every path ended up, and – crucially – whether any path was lost
 Cbertini::parsing::classic::SplitInputFileStorage class for input file that splits up the config portion from the input portion
 Cbertini::parallel::StartPointTask< ComplexT >Work item for the speculative-full-path model: a path index plus its start point
 Cbertini::tracking::StepMetadataMetadata produced by a single predict or correct step
 Cbertini::tracking::SteppingConfigSettings governing step-size adjustment during tracking
 Cbertini::StraightLineProgramAn implementation of straight-line programs, implemented with strong inspiration from Bertini1's implementation
 Cbertini::SystemThe fundamental polynomial system class for Bertini2
 Cbertini::parallel::ThreadSafeQueue< T >A simple thread-safe (mutex + condition-variable) FIFO queue
 Cbertini::algorithm::TolerancesConfigNewton and path-tracking tolerances
 Cbertini::endgame::TrackBackConfigTrack-back endgame configuration
 Cbertini::tracking::TrackerConfigThe thresholds a tracker judges a path against: close enough, and too big
 Cbertini::tracking::TrackerTraits< T >Trait lookup mapping a tracker type to its numeric types, event-emitter type, precision config, and the type/config lists it needs
 CTrackingEvent
 Cstd::true_type
 Cbertini::detail::TypeList< Ts >A basic typelist, in the style of Modern C++ Design, but using variadic templates
 Cbertini::VisitableBase< RetT, CatchAll >The base class for visitable types
 Cbertini::Visitor< VisitedT, RetT >The first non-trivial visitor class
 Cbertini::Visitor< node::ArcCosOperator >
 Cbertini::Visitor< node::ArcSinOperator >
 Cbertini::Visitor< node::ArcTanOperator >
 Cbertini::Visitor< node::Complex >
 Cbertini::Visitor< node::CosOperator >
 Cbertini::Visitor< node::Differential >
 Cbertini::Visitor< node::ExpOperator >
 Cbertini::Visitor< node::Integer >
 Cbertini::Visitor< node::IntegerPowerOperator >
 Cbertini::Visitor< node::LogOperator >
 Cbertini::Visitor< node::MultOperator >
 Cbertini::Visitor< node::NamedExpression >
 Cbertini::Visitor< node::NegateOperator >
 Cbertini::Visitor< node::PowerOperator >
 Cbertini::Visitor< node::Rational >
 Cbertini::Visitor< node::SinOperator >
 Cbertini::Visitor< node::special_number::E >
 Cbertini::Visitor< node::special_number::Pi >
 Cbertini::Visitor< node::SqrtOperator >
 Cbertini::Visitor< node::SumOperator >
 Cbertini::Visitor< node::TanOperator >
 Cbertini::Visitor< node::Variable >
 Cbertini::VisitorBaseA strawman class for implementing the visitor pattern
 Cbertini::nag_datatype::WitnessSet< NumT, SystemT, ObjManagementP >The main way to represent a positive dimensional component in numerical algebraic geometry
 Cbertini::parallel::WorkerThreadPool< TaskT, ResultT, StateFactory, TrackFn >Thread pool for parallel path tracking within a single MPI worker rank
 Cbertini::algorithm::ZeroDimConfigTop-level configuration for a zero-dimensional solve (times, precision, threading)
 Cbertini::blackbox::ZeroDimRTRuntime options selecting which ZeroDim algorithm to instantiate