Index _ | A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | U | V _ __call__() (alkahest.CompiledFn method) (alkahest.GradTracedFn method) (alkahest.TracedFn method) __pow__() (alkahest.UniPoly method) __str__() (alkahest.Expr method) A abs() (in module alkahest) AcausalSystem (class in alkahest) acos() (in module alkahest) active_budget() (in module alkahest) active_pool() (in module alkahest) add_component() (alkahest.AcausalSystem method) adjoint_system() (in module alkahest) AlkahestError ansatz.certify_nonneg() (in module alkahest) ansatz.enumerate_family() (in module alkahest) ansatz.exponential_polynomial() (in module alkahest) ansatz.fit() (in module alkahest) ansatz.linear_combination() (in module alkahest) ansatz.polynomial() (in module alkahest) ansatz.quadratic_form() (in module alkahest) ansatz.rational() (in module alkahest) AnsatzError ArbBall (class in alkahest) asin() (in module alkahest) atan() (in module alkahest) atan2() (in module alkahest) B batch_map() (in module alkahest) batch_map_iter() (in module alkahest) BatchItem (class in alkahest) Budget (class in alkahest) budget_seed() (in module alkahest) BudgetExceededError C CadError call_batch() (alkahest.CudaCompiledFn method) call_batch_buffer() (alkahest.CompiledFn method) call_batch_buffer_par() (alkahest.CompiledFn method) call_batch_on() (alkahest.CudaCompiledFn method) call_batch_raw() (alkahest.CompiledFn method) call_device_ptrs() (alkahest.CudaCompiledFn method) capacitor() (in module alkahest) ceil() (in module alkahest) certificate (alkahest.DerivedResult attribute) CertificateUnavailableError checkpoint() (alkahest.ExprPool method) clear_cancel() (in module alkahest) code (alkahest.AlkahestError attribute) coefficients() (alkahest.UniPoly method) collect_like_terms() (in module alkahest) compile_cuda() (in module alkahest) compile_expr() (in module alkahest) CompiledFn (class in alkahest) CompiledTracedFn (class in alkahest) Component (class in alkahest) compute() (alkahest.GroebnerBasis class method) connect() (alkahest.AcausalSystem method) contains() (alkahest.GroebnerBasis method) context() (in module alkahest) ConversionError cos() (in module alkahest) cosh() (in module alkahest) coverage_report() (alkahest.PrimitiveRegistry method) crosscheck.check() (in module alkahest) crosscheck.oracles() (in module alkahest) crosscheck.register_oracle() (in module alkahest) crosscheck.run_frozen_corpus() (in module alkahest) crosscheck.sweep() (in module alkahest) crosscheck.to_sympy() (in module alkahest) CrossCheckError CudaCompiledFn (class in alkahest) CudaError D DAE (class in alkahest) DaeError degree() (alkahest.UniPoly method) denominator() (alkahest.RationalFunction method) DerivedResult (class in alkahest) det() (alkahest.Matrix method) diff() (in module alkahest) diff_forward() (in module alkahest) diff_many() (in module alkahest) DiffError DomainError E EigenError eigenvals() (alkahest.Matrix method) eigenvects() (alkahest.Matrix method) elapsed_ms (alkahest.BatchItem attribute) eliminate() (alkahest.GroebnerBasis method) emit_c() (in module alkahest) erf() (in module alkahest) erfc() (in module alkahest) error (alkahest.BatchItem attribute) eval_expr() (in module alkahest) Event (class in alkahest) exp() (in module alkahest) expr (alkahest.TracedFn attribute) Expr (class in alkahest) expr_to_gbpoly() (in module alkahest) ExprPool (class in alkahest) F flatten() (alkahest.AcausalSystem method) flatten_exprs() (in module alkahest) floor() (in module alkahest) from_symbolic() (alkahest.MultiPoly class method) (alkahest.RationalFunction class method) (alkahest.UniPoly class method) G gamma() (in module alkahest) GbPoly (class in alkahest) gcd() (alkahest.MultiPoly method) (alkahest.UniPoly method) gcd_sparse() (in module alkahest) get() (alkahest.Matrix method) grad() (in module alkahest) GradTracedFn (class in alkahest) GroebnerBasis (class in alkahest) H hi (alkahest.ArbBall attribute) horner() (in module alkahest) HybridODE (class in alkahest) I index (alkahest.BatchItem attribute) integer() (alkahest.ExprPool method) integer_content() (alkahest.MultiPoly method) integrate() (in module alkahest) integrate_many() (in module alkahest) IntegrationError interval_eval() (in module alkahest) inverse() (alkahest.Matrix method) is_budget_active() (in module alkahest) is_cancelled() (in module alkahest) is_zero (alkahest.GbPoly attribute) J jacobian() (in module alkahest) jit() (in module alkahest) JitError jordan_form() (alkahest.Matrix method) L leading_coeff() (alkahest.UniPoly method) len() (alkahest.ExprPool method) LinearAlgebraError list_primitives() (alkahest.PrimitiveRegistry method) lo (alkahest.ArbBall attribute) load_from() (alkahest.ExprPool class method) log() (in module alkahest) lower_to_first_order() (in module alkahest) M make_rule() (in module alkahest) map_exprs() (in module alkahest) match_pattern() (in module alkahest) Matrix (class in alkahest) MatrixError max() (in module alkahest) message (alkahest.AlkahestError attribute) mid (alkahest.ArbBall attribute) min() (in module alkahest) MultiPoly (class in alkahest) N n_inputs (alkahest.CompiledFn attribute) n_terms (alkahest.GbPoly attribute) n_vars (alkahest.GbPoly attribute) nullspace() (alkahest.Matrix method) numerator() (alkahest.RationalFunction method) numpy_eval() (in module alkahest) numpy_eval_par() (in module alkahest) O ODE (class in alkahest) OdeError ok (alkahest.BatchItem attribute) open_persistent() (alkahest.ExprPool class method) order (alkahest.GroebnerBasis attribute) P pantelides() (in module alkahest) parse() (in module alkahest) ParseError piecewise() (in module alkahest) poly_normal() (in module alkahest) polynomials() (alkahest.GroebnerBasis method) pool (alkahest.TracedFn attribute) PoolError Port (class in alkahest) port() (alkahest.Component method) ports() (alkahest.Component method) PrimitiveRegistry (class in alkahest) R rad (alkahest.ArbBall attribute) rank() (alkahest.Matrix method) rational() (alkahest.ExprPool method) RationalFunction (class in alkahest) reduce() (alkahest.GroebnerBasis method) remediation (alkahest.AlkahestError attribute) request_cancel() (in module alkahest) resistor() (in module alkahest) RESULT_SCHEMA_VERSION (in module alkahest) RewriteRule (class in alkahest) round() (in module alkahest) rref() (alkahest.Matrix method) run_with_wall_fallback() (in module alkahest) S save_to() (alkahest.ExprPool method) SCHEMA_VERSION (alkahest.DerivedResult attribute) sensitivity_system() (in module alkahest) SensitivitySystem (class in alkahest) shape() (alkahest.Matrix method) sign() (in module alkahest) simplify() (in module alkahest) simplify_auto() (in module alkahest) simplify_egraph() (in module alkahest) simplify_egraph_with() (in module alkahest) simplify_enabled() (in module alkahest) simplify_expanded() (in module alkahest) simplify_log_exp() (in module alkahest) simplify_many() (in module alkahest) simplify_par() (in module alkahest) simplify_redex() (in module alkahest) simplify_strategy() (in module alkahest) simplify_trig() (in module alkahest) simplify_with() (in module alkahest) sin() (in module alkahest) sinh() (in module alkahest) smt.solve() (in module alkahest) smt.solvers() (in module alkahest) smt.supported() (in module alkahest) SmtError solve() (in module alkahest) SolverError span (alkahest.AlkahestError attribute) sparse_interp() (in module alkahest) sparse_interp_univariate() (in module alkahest) SparseGcdError SparseInterpError sqrt() (in module alkahest) STEP_FIELDS (in module alkahest) STEP_FIELDS_COMPACT (in module alkahest) steps (alkahest.DerivedResult attribute) STEPS_SCHEMA_VERSION (alkahest.DerivedResult attribute) (in module alkahest) subs() (in module alkahest) symbol() (alkahest.ExprPool method) (in module alkahest) symbolic_grad() (in module alkahest) symbols (alkahest.TracedFn attribute) T tan() (in module alkahest) tanh() (in module alkahest) terms() (alkahest.GbPoly method) to_dict() (alkahest.DerivedResult method) to_expr() (alkahest.GbPoly method) to_exprs() (alkahest.GroebnerBasis method) to_json() (alkahest.DerivedResult method) to_smtlib() (in module alkahest) to_stablehlo() (in module alkahest) to_symbolic() (alkahest.MultiPoly method) (alkahest.UniPoly method) total_degree() (alkahest.MultiPoly method) trace() (in module alkahest) trace_fn() (in module alkahest) TracedFn (class in alkahest) transpose() (alkahest.Matrix method) TreeDef (class in alkahest) U unflatten_exprs() (in module alkahest) UniPoly (class in alkahest) V value (alkahest.BatchItem attribute) (alkahest.DerivedResult attribute) variables() (alkahest.GbPoly method) (alkahest.GroebnerBasis method) verification (alkahest.DerivedResult attribute) version() (alkahest.ExprPool method) voltage_source() (in module alkahest)