Index _ | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Z _ __call__() (alkahest.CompiledFn method) (alkahest.CompiledVecFn 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) airy_ai() (in module alkahest) airy_ai_prime() (in module alkahest) airy_bi() (in module alkahest) airy_bi_prime() (in module alkahest) AlkahestError And() (in module alkahest) 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 anticommutator() (in module alkahest) ArbBall (class in alkahest) asin() (in module alkahest) assoc_laguerre_l() (in module alkahest) assoc_legendre_p() (in module alkahest) AsymptoticError atan() (in module alkahest) atan2() (in module alkahest) B batch_map() (in module alkahest) batch_map_iter() (in module alkahest) BatchItem (class in alkahest) BDD (class in alkahest) bdd() (in module alkahest) bessel_i() (in module alkahest) bessel_j() (in module alkahest) bessel_k() (in module alkahest) bessel_y() (in module alkahest) bode() (in module 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) care() (in module alkahest) catalan() (in module alkahest) ceil() (in module alkahest) certificate (alkahest.DerivedResult attribute) CertificateUnavailableError chebyshev_t() (in module alkahest) chebyshev_u() (in module alkahest) checkpoint() (alkahest.ExprPool method) clear_cancel() (in module alkahest) clebsch_gordan() (in module alkahest) code (alkahest.AlkahestError attribute) coefficients() (alkahest.UniPoly method) collect_like_terms() (in module alkahest) commutator() (in module alkahest) compile_cuda() (in module alkahest) compile_expr() (in module alkahest) CompiledFn (class in alkahest) CompiledTracedFn (class in alkahest) CompiledVecFn (class in alkahest) Component (class in alkahest) compute() (alkahest.GroebnerBasis class method) connect() (alkahest.AcausalSystem method) contains() (alkahest.GroebnerBasis method) context() (in module alkahest) controls_side_conditions() (in module alkahest) ControlsError ConversionError convert_units() (in module alkahest) 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 dimension_of() (in module alkahest) 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) emit_c_expr() (in module alkahest) emit_c_vec() (in module alkahest) equals() (in module alkahest) Equivalent() (in module alkahest) equivalent() (in module alkahest) erf() (in module alkahest) erfc() (in module alkahest) error (alkahest.BatchItem attribute) euler_gamma() (in module alkahest) euler_lagrange() (in module alkahest) eval_expr() (in module alkahest) Event (class in alkahest) exp() (in module alkahest) expand_hyper() (in module alkahest) expand_orthopoly() (in module alkahest) expand_special() (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) FpsError from_symbolic() (alkahest.MultiPoly class method) (alkahest.RationalFunction class method) (alkahest.UniPoly class method) functions_to_symbols() (in module alkahest) G gamma() (in module alkahest) gamma_trace() (in module alkahest) GbPoly (class in alkahest) gcd() (alkahest.MultiPoly method) (alkahest.UniPoly method) gcd_sparse() (in module alkahest) gegenbauer_c() (in module alkahest) get() (alkahest.Matrix method) glaisher() (in module alkahest) grad() (in module alkahest) GradTracedFn (class in alkahest) GroebnerBasis (class in alkahest) H hermite_h() (in module alkahest) hermite_he() (in module alkahest) hi (alkahest.ArbBall attribute) horner() (in module alkahest) hurwitz_zeta() (in module alkahest) HybridODE (class in alkahest) hyper() (in module alkahest) I Implies() (in module alkahest) 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) is_zero() (in module alkahest) ITE() (in module alkahest) J jacobi_p() (in module alkahest) jacobian() (in module alkahest) jit() (in module alkahest) JitError jordan_form() (alkahest.Matrix method) K kronecker() (in module alkahest) L laguerre_l() (in module alkahest) leading_coeff() (alkahest.UniPoly method) legendre_p() (in module alkahest) len() (alkahest.ExprPool method) LinearAlgebraError linprog() (in module alkahest) linprog_expr() (in module alkahest) LinprogError list_primitives() (alkahest.PrimitiveRegistry method) lo (alkahest.ArbBall attribute) load_from() (alkahest.ExprPool class method) log() (in module alkahest) LogicError lower_to_first_order() (in module alkahest) LPResult (class in alkahest) lqr() (in module alkahest) lyapunov() (in module alkahest) M make_rule() (in module alkahest) map_exprs() (in module alkahest) margins() (in module alkahest) match_pattern() (in module alkahest) Matrix (class in alkahest) matrix_rank_side_conditions() (in module alkahest) MatrixError max() (in module alkahest) message (alkahest.AlkahestError attribute) mid (alkahest.ArbBall attribute) milp() (in module alkahest) MILPResult (class in alkahest) min() (in module alkahest) minimize_logic() (in module alkahest) MultiPoly (class in alkahest) N n_inputs (alkahest.CompiledFn attribute) (alkahest.CompiledVecFn attribute) n_outputs (alkahest.CompiledVecFn attribute) n_terms (alkahest.GbPoly attribute) n_vars (alkahest.GbPoly attribute) nc_expand() (in module alkahest) nc_rewrite() (in module alkahest) nc_terms() (in module alkahest) NcError normal_order() (in module alkahest) Not() (in module alkahest) 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) Or() (in module alkahest) order (alkahest.GroebnerBasis attribute) P pantelides() (in module alkahest) parse() (in module alkahest) parse_unit() (in module alkahest) ParseError piecewise() (in module alkahest) poly_normal() (in module alkahest) polygamma() (in module alkahest) polylog() (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) ProbabilityError Q Quantity (class in alkahest) QuaternionError 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) replace_function() (in module alkahest) request_cancel() (in module alkahest) resistor() (in module alkahest) RESULT_SCHEMA_VERSION (in module alkahest) RewriteRule (class in alkahest) root_of() (in module 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_logic() (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_units() (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 SpecialFunctionError spherical_harmonic_y() (in module alkahest) spherical_jn() (in module alkahest) spherical_yn() (in module alkahest) sqrt() (in module alkahest) StateSpace (class in 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) tier (alkahest.CompiledVecFn attribute) to_base_units() (in module alkahest) to_cnf() (in module alkahest) to_dict() (alkahest.DerivedResult method) to_dnf() (in module alkahest) to_expr() (alkahest.GbPoly method) to_exprs() (alkahest.GroebnerBasis method) to_json() (alkahest.DerivedResult method) to_nnf() (in module alkahest) to_real_form() (in module alkahest) 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) TransferFunction (class in alkahest) TransformError transpose() (alkahest.Matrix method) TreeDef (class in alkahest) truth_table() (in module alkahest) U unflatten_exprs() (in module alkahest) UniPoly (class in alkahest) Unit (class in alkahest) UnitError V vacuum_expectation() (in module alkahest) value (alkahest.BatchItem attribute) (alkahest.DerivedResult attribute) variables() (alkahest.GbPoly method) (alkahest.GroebnerBasis method) VectorError verification (alkahest.DerivedResult attribute) version() (alkahest.ExprPool method) voltage_source() (in module alkahest) W wigner_3j() (in module alkahest) wigner_6j() (in module alkahest) X Xor() (in module alkahest) Z zeta() (in module alkahest)