Index

A

about (Answer attribute), [1] (AnswerAndChoice attribute) (AnsweredTwice attribute) (DataStructure attribute) (DerivedNames attribute) (LabelCodec attribute) (MintDrawing attribute) (Minting attribute) (ModelReading attribute) (NodeDrawing attribute) (NotAbout attribute) (PlaceCodec attribute) (PlaceDrawing attribute) (Spelling attribute) (Unanswered attribute) AboutNothing (class in cottax.core.frozen.answer) absolute (in module cottax.assemblies.jax) absorbed (Resolution attribute), [1], [2] absorbing() (Architecture method), [1], [2] (Coupled method), [1], [2] (Monolithic method), [1], [2] abstract (ChoiceAbstract attribute) AbstractClassVar (class in cottax.core.frozen) (class in cottax.core.frozen.base) AbstractGraph (class in cottax.core.maths.graph) AbstractVar (class in cottax.core.frozen) (class in cottax.core.frozen.base) Accent (class in cottax.consumers.visualization.interface_types) accepts (DriverContract attribute), [1] accepts() (ConstrainedMinimiser static method), [1] (FixedPointIterator static method), [1] (Integrator static method), [1] (Minimiser static method), [1] (RootFinder static method), [1] add() (Pictures method) adjoint (Diffrax attribute) Against (in module cottax.relational.consumers.declaration.vocabulary) against_of() (in module cottax.relational.consumers.declaration.vocabulary) AgainstNoOutput (class in cottax.relational.consumers.declaration.declarations) AlreadyCut (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) AlreadyDetermined (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) AlreadyNested (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) AlreadyUndetermined (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) Analysis (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) analysis (Monolithic attribute), [1], [2] ancestors() (AbstractGraph method) answer (AnswerHolds attribute)

Answer (class in cottax.core.frozen) (class in cottax.core.frozen.answer) answer (NotOneInterface attribute) answer() (in module cottax.core.frozen) (in module cottax.core.frozen.answer) answer_for_class() (in module cottax.core.frozen) (in module cottax.core.frozen.answer) answer_for_labels() (in module cottax.core.maths.dispatch) answer_for_places() (in module cottax.core.maths.dispatch) AnswerAndChoice (class in cottax.core.frozen.answer) answered() (in module cottax.consumers.visualization.kinds) (in module cottax.core.frozen) (in module cottax.core.frozen.answer) AnsweredTwice (class in cottax.core.frozen.answer) AnswerHolds (class in cottax.core.frozen.answer) answers() (in module cottax.core.frozen) (in module cottax.core.frozen.answer) apply() (GraphOp method) Architecting (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.part) Architecture (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) architecture (NotCombinable attribute) Args (in module cottax.relational.consumers.execution.jax_solvers.optimistix) ARGUMENT (in module cottax.consumers.visualization.latex.text) arity() (PerProblem class method), [1] (PerUnknown class method), [1] (Role class method), [1] Around (class in cottax.consumers.visualization.interface_types) ArrayLike (class in cottax.consumers.declaration.conventions) asked (DeterminedWhileDriven attribute) (DeterminedWhileImplemented attribute) Assign (class in cottax.core.driven) (class in cottax.core.driven.ops) assign() (Driving method), [1], [2] AssignByRule (class in cottax.core.driven) (class in cottax.core.driven.ops) At (class in cottax.consumers.architectures.interface_types) at (Combine attribute) (FixedPointClosing attribute), [1] (FixedPointCut attribute), [1], [2] (Slot attribute) at_least (Bounds attribute) at_most (Bounds attribute) AtFirstMember (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.interface_types) atol (Diffrax attribute) (Optimistix attribute) AtSolve (in module cottax.consumers.execution.run) attr() (in module cottax.consumers.visualization.svg)

B

band() (Style method), [1], [2] band_stroke (Style attribute), [1], [2] bands (Style attribute), [1], [2] base (Plan attribute) BASE_FONT_SIZE (in module cottax.consumers.visualization.svg) beside (Derived attribute), [1] beside() (DerivedNames method) (Purpose method), [1], [2] (PytreeDerivedNames method) BFGS (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers) (class in cottax.relational.consumers.execution.jax_solvers.optimistix) bh_of() (Layout method) blamed() (in module cottax.consumers.execution.run) block (BlockTooSmall attribute), [1] (BoxOwnsNothing attribute), [1] Block (class in cottax.consumers.visualization.sequencing) block_type() (in module cottax.consumers.visualization.kinds) BlockTooSmall (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) Bodies (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) body (BodyShared attribute) Body (in module cottax.consumers.declaration.interface_types) body() (ModelReading method) (OdeModel method) (RelationalModel method) body_of() (in module cottax.core.maths.executable) body_of_problem() (in module cottax.consumers.architectures.architectures) body_pt (Layout attribute) BodyByIdentity (class in cottax.consumers.execution.refusals) BodyShared (class in cottax.consumers.architectures.refusals) bold (Setting attribute) (Style attribute), [1], [2] bound_at() (Closing method) (FixedPointClosing method), [1]

boundary (Style attribute), [1], [2] boundary_inputs (AbstractGraph property) boundary_outputs (AbstractGraph property) BoundDeclares (class in cottax.consumers.declaration.interface_types) bounded (Bounds property) BoundNotUnknown (class in cottax.relational.consumers.declaration.declarations) Bounds (class in cottax.relational.consumers.declaration.declarations) bounds (InequalityConstraint attribute), [1], [2] (Problem attribute), [1], [2] bounds_of() (in module cottax.relational.consumers.declaration.vocabulary) Box (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers.canonical_nlp) box() (in module cottax.assemblies.jax) (in module cottax.relational.consumers.execution.jax_solvers.canonical_nlp) box_floor (Layout attribute) box_size (Layout attribute) boxes (Architecture attribute), [1], [2] Boxes (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) boxes (IDF attribute), [1], [2] (MDA attribute), [1], [2] (MDF attribute), [1], [2] (SAND attribute), [1], [2] BoxOwnsNothing (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) built_from() (in module cottax.consumers.declaration.interface_types) bw_of() (Layout method) by_name (ParameterReads attribute), [1] by_name() (in module cottax.consumers.visualization.kinds) by_namespace() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.matrix) by_word() (in module cottax.consumers.json.format) ByName (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) ByRole (in module cottax.consumers.execution.interface_types)

C

CairoMeasure (class in cottax.consumers.visualization.latex.xdsm) CallableGraph (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.run) Canonical (class in cottax.relational.consumers.execution.jax_solvers.canonical_nlp) canonical() (in module cottax.assemblies.jax) (in module cottax.relational.consumers.execution.jax_solvers.canonical_nlp) category_of() (in module cottax.consumers.visualization.kinds) cell (SvgDoc attribute) chain (NestingLoop attribute), [1] chain() (in module cottax.consumers.architectures.architectures) changed() (in module cottax.consumers.visualization.page) check_a_contract() (in module cottax.core.realisation.implemented) check_a_function() (in module cottax.core.realisation.implemented) check_all_conditions_on_cycle() (in module cottax.core.maths.executable) check_antichain() (in module cottax.pytree) (in module cottax.pytree.crossings) check_assignable() (in module cottax.core.driven.ops) check_blocks_own_something() (in module cottax.core.maths.nesting) check_blocks_partition() (in module cottax.core.maths.nesting) check_body_is_dag() (in module cottax.core.maths.executable) check_bounds_on_unknowns() (in module cottax.relational.consumers.declaration.declarations) check_callable() (in module cottax.consumers.execution.run) check_codec() (in module cottax.consumers.json.format) check_condition() (in module cottax.relational.consumers.declaration.declarations) check_cuts() (in module cottax.relational.rewrites) check_cuts_a_produced_place() (in module cottax.core.maths.plan.ops) check_delete_keeps_nesting_whole() (in module cottax.core.maths.plan.primitive) check_deletes() (in module cottax.core.maths.plan.primitive) check_determines_nothing_yet() (in module cottax.core.maths.plan.ops) check_determines_something() (in module cottax.core.maths.plan.ops) check_drivable() (in module cottax.core.driven.ops) check_driven() (in module cottax.core.driven.proof) check_every_input_given() (in module cottax.core.maths.valued) check_every_node() (in module cottax.core.maths.steps) check_folds_one_kind() (in module cottax.core.maths.plan.primitive) check_function_callable() (in module cottax.consumers.execution.run) check_hashable() (in module cottax.consumers.execution.jax_jit) check_held() (in module cottax.relational.consumers.declaration.declarations) check_implementable() (in module cottax.core.realisation.implemented) check_implemented() (in module cottax.core.realisation.proof) check_implemented_once() (in module cottax.core.realisation.implemented) check_implements_its_driver() (in module cottax.consumers.execution.run) check_implements_something() (in module cottax.core.realisation.implemented) check_implicit_models() (in module cottax.consumers.architectures.architectures) check_inserts() (in module cottax.core.maths.plan.primitive) check_keys_distinct() (in module cottax.core.maths.cut_rules) check_labels_answered() (in module cottax.core.maths.dispatch) check_lands_on_its_own() (in module cottax.core.maths.plan.primitive) check_name_key() (in module cottax.pytree.consumers.surface.names) check_named() (in module cottax.ode.consumers.declaration) check_names_bound() (in module cottax.core.maths.plan.primitive) check_names_free() (in module cottax.core.maths.plan.primitive) check_nesting() (in module cottax.core.maths.plan.primitive) check_nesting_ends_are_problems() (in module cottax.core.maths.nesting) check_nesting_ends_bound() (in module cottax.core.maths.nesting) check_nesting_ends_on_one_cycle() (in module cottax.core.maths.nesting) check_no_nesting_loops() (in module cottax.core.maths.nesting) check_no_requirements() (in module cottax.core.maths.executable) check_nodes() (in module cottax.core.maths.plan.primitive) check_nodes_pickle() (in module cottax.consumers.pickle) check_nodes_write() (in module cottax.consumers.json.format) check_nothing_nested() (in module cottax.consumers.architectures.architectures) check_nothing_owned_given() (in module cottax.core.maths.valued) check_one_problem_per_level() (in module cottax.core.maths.executable) check_one_producer_per_place() (in module cottax.core.maths.graph) check_only_inputs_given() (in module cottax.core.maths.valued) check_op() (in module cottax.relational.relational_condition) check_other_owns_off_cycle() (in module cottax.core.maths.executable) check_other_reads_off_cycle() (in module cottax.core.maths.executable) check_outputs() (in module cottax.consumers.declaration.interface_types) check_owns_are_separate() (in module cottax.core.maths.definition) check_owns_something() (in module cottax.core.maths.kinds) check_pairing() (in module cottax.core.driven.nodes) check_parameters() (in module cottax.relational.relational_condition) check_places_answered() (in module cottax.core.maths.dispatch) check_programmable() (in module cottax.relational.programme) check_pytree_readable() (in module cottax.pytree) (in module cottax.pytree.crossings) check_readers() (in module cottax.core.maths.plan.ops) check_readers_read_var() (in module cottax.core.maths.plan.ops) check_reads_are_exact() (in module cottax.core.maths.graph) check_reads_outside_owns() (in module cottax.core.maths.definition) check_reassembles() (in module cottax.consumers.execution.jax_jit) check_rebound_owns_disjoint() (in module cottax.core.maths.plan.primitive) check_rebound_reads_exact() (in module cottax.core.maths.plan.primitive) check_relates_something() (in module cottax.relational.relational_condition) check_renames_places_the_node_has() (in module cottax.core.maths.plan.ops) check_sense() (in module cottax.relational.relational_condition) check_sides() (in module cottax.relational.relational_condition) check_signature() (in module cottax.consumers.declaration.interface_types) check_slots() (in module cottax.core.driven.nodes) check_states_something() (in module cottax.core.maths.kinds) check_subject_to() (in module cottax.relational.consumers.declaration.declarations) check_top_bound() (in module cottax.consumers.architectures.architectures) check_top_combinable() (in module cottax.consumers.architectures.architectures) check_top_is_problem() (in module cottax.consumers.architectures.architectures) check_traced_callable() (in module cottax.consumers.execution.jax_jit) check_traces() (in module cottax.consumers.execution.jax_jit) check_undrives_a_driven_node() (in module cottax.core.driven.ops) check_unimplements_implemented() (in module cottax.core.realisation.implemented) check_unimplements_something() (in module cottax.core.realisation.implemented) check_unknowns() (in module cottax.core.maths.plan.ops) check_unnesting() (in module cottax.core.maths.plan.primitive) checked() (in module cottax.core.frozen) (in module cottax.core.frozen.violation) checks (AbstractGraph attribute) (ByName attribute), [1] (Combine attribute) (ConditionalNode attribute) (Constraint attribute) (Cut attribute) (Delete attribute) (Determine attribute) (Driven attribute), [1], [2] (ExecutableGraph attribute) (FixedPointCut attribute), [1], [2] (Frozen attribute), [1] (FunctionalNode attribute) (GraphWithValues attribute) (Implement attribute), [1] (Implemented attribute), [1] (ImplementedDriven attribute), [1] (ImplementedFunction attribute), [1] (Insert attribute) (NestingGraph attribute) (NodeDefinition attribute) (Objective attribute), [1], [2] (Problem attribute), [1], [2] (Rate attribute), [1] (Relation attribute), [1], [2] (RelationalCondition attribute), [1], [2] (SteppedExecutableGraph attribute) (Traced attribute), [1] (Under attribute), [1], [2] (Unimplement attribute), [1] (Wrapper attribute) checks_answer (Answer attribute), [1] (LabelCodec attribute) (PlaceCodec attribute) (Spelling attribute) checks_delta (Combine attribute) (Delete attribute) (Insert attribute) (Nest attribute) (Primitive attribute) (Redefine attribute) (Unnest attribute) checks_graph (Architecture attribute), [1], [2] (Assign attribute), [1] (AssignByRule attribute), [1] (Combine attribute) (Cut attribute) (Determine attribute) (GraphOp attribute) (Implement attribute), [1] (Monolithic attribute), [1], [2] (Rewire attribute) (Undetermine attribute) (Undrive attribute), [1] (Unimplement attribute), [1] checks_node (CallableGraph attribute), [1], [2] (DrivenGraph attribute), [1] (JitGraph attribute), [1] (RealisedGraph attribute), [1] (SteppedExecutableGraph attribute) chip (Style attribute), [1], [2] chip_h (Setting property) choice (ChoiceAbstract attribute) (ChoiceElsewhere attribute) Choice (class in cottax.core.frozen) (class in cottax.core.frozen.answer) choice() (in module cottax.core.frozen) (in module cottax.core.frozen.answer) ChoiceAbstract (class in cottax.core.frozen.answer) ChoiceElsewhere (class in cottax.core.frozen.answer) chosen() (Drive method), [1], [2] classes (ForeignPlace attribute) (NotAbout attribute) closed() (in module cottax.consumers.architectures) (in module cottax.consumers.architectures.closing) CloseFunctionalCycles (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.closing) closing (Architecting attribute), [1], [2] (Architecture attribute), [1], [2] Closing (class in cottax.consumers.architectures.interface) closing (CloseFunctionalCycles attribute), [1], [2] (ShippedSurface property) closing_readers() (AbstractGraph method) Closure (class in cottax.assemblies.jax) (class in cottax.core.maths.mints) closure_of (AtFirstMember attribute), [1], [2] closures (OnCycle attribute), [1] (Resolution attribute), [1], [2] ClosuresCollide (class in cottax.consumers.architectures.refusals) CodedTwice (class in cottax.consumers.json.refusals) col_of() (Grid method) col_w (Layout attribute) col_x (Layout attribute) colour (Kind attribute) Combine (class in cottax.core.maths.plan.primitive) combine() (Editing method), [1] combined() (in module cottax.consumers.architectures.architectures) combines_as() (in module cottax.consumers.architectures.architectures) (ModelReading method) (OdeModel method) (RelationalModel method) combines_declared (Analysis attribute), [1], [2] (Architecture attribute), [1], [2] (IndividualFeasible attribute), [1], [2] (MultidisciplinaryFeasible attribute), [1], [2] combining (Resolution attribute), [1], [2] combining() (Analysis method), [1], [2] (Architecture method), [1], [2] (IndividualFeasible method), [1], [2] (MultidisciplinaryFeasible method), [1], [2] (Simultaneous method), [1], [2] comparable() (in module cottax.core.maths.places) comparables_in() (in module cottax.core.maths.places) complete_at() (in module cottax.pytree) (in module cottax.pytree.crossings) completed() (in module cottax.assemblies.jax) (in module cottax.pytree.consumers.execution) components (AbstractGraph property) components_order (AbstractGraph property) composed() (AssignByRule method), [1] (CloseFunctionalCycles method), [1], [2] (ComposedOp method) (Drive method), [1], [2] (FixedPointCut method), [1], [2] (ImplementDrivers method), [1] ComposedOp (class in cottax.core.maths.plan.algebra) Cond (class in cottax.relational.mints) CondDrawing (class in cottax.relational.consumers.visualization) condition (Driven attribute), [1], [2] (DrivenNode attribute), [1] (EqualityConstraint property), [1], [2] (FixedPoint property), [1], [2] (ImplementedDriven property), [1] (InequalityConstraint property), [1], [2] (Paired attribute) (Posed attribute) (Problem property), [1], [2] (Rate property), [1] (Residual property), [1], [2] condition_at() (Paired method) condition_mint (Constraint attribute) (Implicit attribute), [1], [2] (Paired attribute) (Rate attribute), [1] condition_node() (Constraint method) (Implicit method), [1], [2] (Paired method) (Rate method), [1] condition_of() (in module cottax.core.driven) (in module cottax.core.driven.nodes) ConditionalNode (class in cottax.core.maths.kinds) ConditionMap (class in cottax.consumers.execution.interface_types) ConditionOffBody (class in cottax.relational.consumers.architectures) conditions (ConditionalNode attribute) (ConditionOffBody attribute) (Driven property), [1], [2] (ImplementedDriven property), [1] (InteriorConditionMap attribute) (OdeCondition property), [1], [2] (Posed attribute) (RelationalCondition property), [1], [2] (RequirementUnanswered attribute), [1] ConditionValues (in module cottax.consumers.execution.interface_types) Constant (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) ConstrainedMinimisation (class in cottax.assemblies.jax) (class in cottax.relational.contracts) ConstrainedMinimiser (class in cottax.assemblies.jax) (class in cottax.relational.contracts) Constraint (class in cottax.relational.consumers.declaration.declarations) constraint (NotHeldAs attribute) Context (in module cottax.consumers.execution.interface_types) context_places (InteriorConditionMap attribute) (Posed attribute) contract (Assign attribute), [1] (AssignByRule attribute), [1] (Driven attribute), [1], [2] (DrivenNode attribute), [1] (ImplementedDriven property), [1] (NoneImplements attribute) contract() (NestingGraph method) contract_for() (Drive method), [1], [2] contracts (Drive attribute), [1], [2] (Driving attribute), [1], [2] CONTRACTS (in module cottax.assemblies.jax) (in module cottax.ode.contracts) (in module cottax.relational.contracts) contracts (ShippedSurface attribute) Conventions (class in cottax.assemblies.jax) (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.conventions) conventions (Declaring attribute), [1] copies (Editing attribute), [1] (FixedPointClosing attribute), [1] (FixedPointCut property), [1], [2] (Running attribute), [1], [2] (ShippedSurface attribute) copy (AlreadyCut attribute), [1] Copy (class in cottax.assemblies.jax) (class in cottax.core.maths.mints) copy (Cut property) (NoReaders attribute), [1]

copy() (Editing method), [1] copy_of (Cut attribute) CopyDrawing (class in cottax.consumers.visualization.naming) core_role_places (in module cottax.consumers.surface.interface_types) cottax module cottax.assemblies module cottax.assemblies.jax module cottax.consumers module cottax.consumers.architectures module cottax.consumers.architectures.architectures module cottax.consumers.architectures.closing module cottax.consumers.architectures.interface module cottax.consumers.architectures.interface_types module cottax.consumers.architectures.part module cottax.consumers.architectures.refusals module cottax.consumers.declaration module cottax.consumers.declaration.conventions module cottax.consumers.declaration.declared module cottax.consumers.declaration.interface module cottax.consumers.declaration.interface_types module cottax.consumers.declaration.refusals module cottax.consumers.execution module cottax.consumers.execution.drive module cottax.consumers.execution.interface module cottax.consumers.execution.interface_types module cottax.consumers.execution.jax_jit module cottax.consumers.execution.part module cottax.consumers.execution.refusals module cottax.consumers.execution.run module cottax.consumers.execution.structures module cottax.consumers.json module cottax.consumers.json.format module cottax.consumers.json.interface module cottax.consumers.json.interface_types module cottax.consumers.json.refusals module cottax.consumers.pickle module cottax.consumers.surface module cottax.consumers.surface.interface module cottax.consumers.surface.interface_types module cottax.consumers.surface.refusals module cottax.consumers.visualization module cottax.consumers.visualization.interactive module cottax.consumers.visualization.interface module cottax.consumers.visualization.interface_types module cottax.consumers.visualization.kinds module cottax.consumers.visualization.latex module cottax.consumers.visualization.latex.dot module cottax.consumers.visualization.latex.matrix module cottax.consumers.visualization.latex.text module cottax.consumers.visualization.latex.xdsm module cottax.consumers.visualization.lookup module cottax.consumers.visualization.matrix module cottax.consumers.visualization.naming module cottax.consumers.visualization.page module cottax.consumers.visualization.refusals module cottax.consumers.visualization.sequencing module cottax.consumers.visualization.style module cottax.consumers.visualization.svg module cottax.consumers.visualization.visualization module cottax.consumers.visualization.xdsm module cottax.consumers.visualization.xdsm_html module cottax.consumers.visualization.xdsm_layout module cottax.consumers.visualization.xdsm_paint module cottax.consumers.visualization.xdsm_struct module cottax.core module cottax.core.driven module cottax.core.driven.driver module cottax.core.driven.nodes module cottax.core.driven.ops module cottax.core.driven.proof module cottax.core.driven.roles module cottax.core.frozen module cottax.core.frozen.answer module cottax.core.frozen.base module cottax.core.frozen.ordered_map module cottax.core.frozen.violation module cottax.core.maths module cottax.core.maths.cut_rules module cottax.core.maths.definition module cottax.core.maths.dispatch module cottax.core.maths.executable module cottax.core.maths.graph module cottax.core.maths.kinds module cottax.core.maths.mints module cottax.core.maths.nesting module cottax.core.maths.places module cottax.core.maths.plan module cottax.core.maths.plan.algebra module cottax.core.maths.plan.ops module cottax.core.maths.plan.primitive module cottax.core.maths.steps module cottax.core.maths.valued module cottax.core.realisation module cottax.core.realisation.implemented module cottax.core.realisation.proof module cottax.core.refusal_kinds module cottax.ode module cottax.ode.consumers module cottax.ode.consumers.architectures module cottax.ode.consumers.declaration module cottax.ode.consumers.execution module cottax.ode.consumers.json module cottax.ode.consumers.visualization module cottax.ode.contracts module cottax.ode.mints module cottax.ode.ode_condition module cottax.pytree module cottax.pytree.consumers module cottax.pytree.consumers.declaration module cottax.pytree.consumers.execution module cottax.pytree.consumers.json module cottax.pytree.consumers.surface module cottax.pytree.consumers.surface.builders module cottax.pytree.consumers.surface.names module cottax.pytree.consumers.visualization module cottax.pytree.crossings module cottax.pytree.mint module cottax.pytree.path module cottax.relational module cottax.relational.classification module cottax.relational.consumers module cottax.relational.consumers.architectures module cottax.relational.consumers.declaration module cottax.relational.consumers.declaration.declarations module cottax.relational.consumers.declaration.vocabulary module cottax.relational.consumers.execution module cottax.relational.consumers.execution.jax_solvers module cottax.relational.consumers.execution.jax_solvers.canonical_nlp module cottax.relational.consumers.execution.jax_solvers.optimistix module cottax.relational.consumers.execution.jax_solvers.scipy_slsqp module cottax.relational.consumers.json module cottax.relational.consumers.surface module cottax.relational.consumers.visualization module cottax.relational.contracts module cottax.relational.mints module cottax.relational.programme module cottax.relational.relational_condition module cottax.relational.rewrites module count (ReturnedUnlike attribute) (Unhashable attribute) Coupled (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) coupling_reads() (in module cottax.core.maths.cut_rules) covering() (Drive method), [1], [2] covers (Nest attribute) (Primitive attribute) (Rebind attribute) (Unnest attribute) current (NotAGraph attribute) Cut (class in cottax.core.maths.plan.ops) cut() (Editing method), [1] cut_em (Style attribute), [1], [2] cut_hexagon() (in module cottax.consumers.visualization.svg) cut_rect() (in module cottax.consumers.visualization.svg) CutRule (class in cottax.core.maths.cut_rules) cuts (FixedPointCut attribute), [1], [2] (Style property), [1], [2] cuts_per_cycle() (in module cottax.core.maths.cut_rules) cuts_per_cycle_boxed() (in module cottax.consumers.architectures.architectures) CutTwice (class in cottax.relational.rewrites) cx() (Layout method) cy() (Layout method) Cycle (class in cottax.consumers.visualization.sequencing) cycle (NoProblem attribute), [1] (SeveralOutermost attribute), [1] (StillCyclic attribute), [1] cycle_of() (NestingGraph method) (ProvedGraph method) cycles (AbstractGraph property) cycles_under() (Architecture method), [1], [2] CycleTooLarge (class in cottax.core.maths.cut_rules) (class in cottax.core.refusal_kinds)

D

Dark (class in cottax.consumers.visualization.style) DARK (in module cottax.consumers.visualization.style) dashed (Style attribute), [1], [2] data (Assign attribute), [1] (Driven attribute), [1], [2] (DrivenNode attribute), [1] (ImplementedDriven property), [1] data_of() (DrivenNode method), [1] DataMissing (class in cottax.consumers.execution.refusals) DataStructure (class in cottax.consumers.execution.interface) Declaration (class in cottax.consumers.declaration.interface_types) declare() (Declaring method), [1] (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.declared) Declared (class in cottax.assemblies.jax) (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.declared) declared (OnCycle attribute), [1] Declares (class in cottax.consumers.declaration.interface_types) declares() (in module cottax.consumers.declaration.interface_types) Declaring (class in cottax.assemblies.jax) (class in cottax.consumers.declaration.interface) define (Rebinding attribute) DefinedInMain (class in cottax.consumers.pickle) definition (FixedPointCut property), [1], [2] (Replace attribute) definition() (Combine method) definitions (AbstractGraph attribute) (Edited attribute) (NestingGraph property) (ProvedGraph property) Delete (class in cottax.core.maths.plan.primitive) delete() (Editing method), [1] delta (Edited attribute) depth (Block property) Derived (class in cottax.consumers.surface) (class in cottax.consumers.surface.interface_types) derived (Surface property), [1], [2] DerivedNames (class in cottax.consumers.surface.interface) descendants() (AbstractGraph method) Description (class in cottax.assemblies.jax) (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.interface_types) design (Architecture attribute), [1], [2] (Coupled attribute), [1], [2] Design (in module cottax.relational.consumers.declaration.vocabulary) design (Monolithic property), [1], [2] design_of() (in module cottax.relational.consumers.declaration.vocabulary) Determine (class in cottax.core.maths.plan.ops) determine() (Editing method), [1] determined() (ConditionalNode method) (Driven method), [1], [2] (ImplementedDriven method), [1] (OdeCondition method), [1], [2] (RelationalCondition method), [1], [2]

DeterminedWhileDriven (class in cottax.core.driven.nodes) DeterminedWhileImplemented (class in cottax.core.realisation.implemented) DeterminesItsStates (class in cottax.ode.ode_condition) diag_col() (Grid method) diag_row() (Grid method) Diffrax (class in cottax.ode.consumers.execution) Disciplines (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) DoesNotRead (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) dotted() (in module cottax.core.frozen) (in module cottax.core.frozen.violation) draw() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.visualization) Drawn (class in cottax.consumers.visualization.interface_types) drawn() (in module cottax.consumers.visualization.lookup) (NodeDrawing method) (OdeDrawing method) (RelationalDrawing method) drawn_of() (in module cottax.consumers.visualization.kinds) draws_feedback() (in module cottax.consumers.visualization.sequencing) Drive (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.drive) drive() (Driving method), [1], [2] Driven (class in cottax.assemblies.jax) (class in cottax.core.driven) (class in cottax.core.driven.nodes) driven_tint (Style attribute), [1], [2] DrivenGraph (class in cottax.core.driven) (class in cottax.core.driven.proof) DrivenNode (class in cottax.core.driven) (class in cottax.core.driven.nodes) DrivenSpelling (class in cottax.consumers.json.format) DrivenTwice (class in cottax.core.driven.nodes) driver (DeterminedWhileDriven attribute) (DrivenTwice attribute) (DriversDiffer attribute) (ImplementsAnother attribute) (NotAccepted attribute) (RoleTwice attribute) (SlotsMiscounted attribute) (UndrivenWhileImplemented attribute) DriverContract (class in cottax.core.driven) (class in cottax.core.driven.driver) DriverImplementation (class in cottax.consumers.execution.interface) DriversDiffer (class in cottax.core.driven.nodes) Driving (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.part) Dt (class in cottax.assemblies.jax) (class in cottax.ode) (class in cottax.ode.ode_condition)

E

edge (Style attribute), [1], [2] Edited (class in cottax.core.maths.plan.primitive) edited() (Nest method) (Primitive method) (Rebind method) (Unnest method) Editing (class in cottax.assemblies.jax) (class in cottax.consumers.surface.interface) enclosing() (NestingGraph method) (ProvedGraph method) entries (RolePlaces attribute), [1], [2] entries() (in module cottax.consumers.visualization.sequencing) entry (Block attribute) Entry (class in cottax.consumers.visualization.sequencing) entry_for() (in module cottax.core.driven) (in module cottax.core.driven.driver) entry_of() (in module cottax.pytree.consumers.surface.builders)

Env (class in cottax.consumers.execution.run) Eq (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) equalities (Canonical attribute) (Programme attribute), [1] equality_constraint (RelationalDeclaring attribute), [1], [2] EqualityConstraint (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) error (Violation attribute), [1] ExecutableGraph (class in cottax.core.maths.executable) expected (NotAGraph attribute) Explicit (class in cottax.assemblies.jax) (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.interface_types) ext_w (Layout attribute)

F

FALLBACK (in module cottax.consumers.visualization.latex.text) feedback_variables (AbstractGraph property) Field (class in cottax.consumers.surface.interface_types) fill() (Style method), [1], [2] fill_chroma (Dark attribute) fill_lightness (Dark attribute) first (AnsweredTwice attribute) (CodedTwice attribute) (NamedAlike attribute) (SpelledAlike attribute) (SpelledTwice attribute) first() (in module cottax.core.frozen) (in module cottax.core.frozen.violation) fixed() (Posed method) fixed_point (RelationalDeclaring attribute), [1], [2] fixed_point_cut() (RelationalEditing method), [1] fixed_point_shaped() (in module cottax.relational.classification) FixedAndMoved (class in cottax.relational.relational_condition) FixedPoint (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) FixedPointClosing (class in cottax.assemblies.jax) (class in cottax.relational.consumers.architectures) FixedPointCut (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.rewrites) FixedPointIteration (class in cottax.assemblies.jax) (class in cottax.relational.contracts) FixedPointIterator (class in cottax.assemblies.jax) (class in cottax.relational.contracts) FixedRelation (class in cottax.relational.relational_condition) flat (in module cottax.assemblies.jax) fn (AgainstNoOutput attribute) (BodyByIdentity attribute) (HeldAgainstNothing attribute) (HeldByValue attribute) (NoOutputs attribute) (NotAState attribute) (NotPositional attribute) (PartialBody attribute) (ReadsUnlike attribute) (RecordUnpaired attribute) (Wrapper attribute)

folded() (Bodies method), [1], [2] (Boxes method), [1], [2] (Disciplines method), [1], [2] (Solves method), [1], [2] folded_as() (in module cottax.consumers.architectures.architectures) font (CairoMeasure attribute) (Layout attribute) (Style attribute), [1], [2] font_for() (in module cottax.consumers.visualization.latex.xdsm) ForeignPlace (class in cottax.consumers.execution.refusals) format (NotAGraph attribute) Formatter (class in cottax.consumers.visualization.interface) found (NotOfKind attribute), [1] frame_label() (in module cottax.consumers.visualization.page) FRAME_LABEL_CHARS (in module cottax.consumers.visualization.page) Frozen (class in cottax.core.frozen) (class in cottax.core.frozen.base) fully_checked() (in module cottax.core.maths.plan.primitive) Function (class in cottax.core.maths.kinds) function (Declaring attribute), [1] function_node() (Wrapper method) function_outputs (Constraint property) (Explicit property), [1], [2] (Implicit property), [1], [2] (Rate property), [1] (Wrapper attribute) function_reads (Wrapper attribute) FunctionalNode (class in cottax.core.maths.kinds) FunctionSpelling (class in cottax.consumers.json.format)

G

gap (Layout attribute) gap_y (Layout attribute) gauss_seidel() (in module cottax.core.maths.cut_rules) GaussSeidel (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) GaussSeidelMinimal (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) GaussSeidelOrdered (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) Given (class in cottax.consumers.surface.interface_types) given (Declaration attribute) (Declared attribute), [1], [2] Given (in module cottax.consumers.declaration.conventions) given (Model attribute) (Problem property), [1], [2] (RecordUnpaired attribute) (Wrapper property) given_at() (in module cottax.ode.consumers.declaration) given_in() (in module cottax.consumers.declaration.interface_types) got (NotSquare attribute), [1] (ReturnedUnlike attribute)

graph (Declared property), [1], [2] (GraphWithValues attribute) (Model attribute) (NestingGraph attribute) (Plan property) (ProvedGraph attribute) (Resolution attribute), [1], [2] (Stage attribute) graph_drawn() (in module cottax.consumers.visualization.sequencing) GraphOp (class in cottax.core.maths.plan.algebra) GraphWithValues (class in cottax.core.maths.valued) Grid (class in cottax.consumers.visualization.xdsm_layout) grid (Layout attribute) grid() (in module cottax.consumers.visualization.xdsm_layout) Ground (class in cottax.consumers.visualization.style) ground (Style attribute), [1], [2] GROUP_HUES (in module cottax.consumers.visualization.style) grouped_struct() (in module cottax.consumers.visualization.matrix) groups (Style attribute), [1], [2]

H

head_col (Grid attribute) height (Layout attribute) held (AnswerHolds attribute) (Block attribute) (HeldNotInModel attribute) (Problem property), [1], [2] held_against (Constraint attribute) (EqualityConstraint property), [1], [2] (InequalityConstraint property), [1], [2]

HeldAgainstNothing (class in cottax.relational.consumers.declaration.declarations) HeldByValue (class in cottax.consumers.declaration.refusals) HeldNotInModel (class in cottax.consumers.declaration.refusals) hexagon() (in module cottax.consumers.visualization.svg) holds (Declaration attribute) (Problem property), [1], [2] (Wrapper attribute) holds() (DataStructure method) (PytreeStructure method) HtmlDoc (class in cottax.consumers.visualization.page)

I

IDF (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) idf() (Architecting method), [1], [2] idx (Grid attribute) Implement (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) implement() (Editing method), [1] implementation (DataMissing attribute) (Implemented attribute), [1] (ImplementedDriven attribute), [1] (ImplementedFunction attribute), [1] (NoDefaultContract attribute) (NotADriverImplementation attribute) (NotCallable attribute) (NotSquare attribute), [1] (ReportUnavailable attribute) implementation() (NodeReader method) (NodeWriter method) (Reader method) (Writer method) implementations (Drive attribute), [1], [2] (Implement attribute), [1] (ImplementDrivers attribute), [1] (NodeWriter attribute) ImplementDrivers (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) Implemented (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) implemented_as() (in module cottax.core.realisation) (in module cottax.core.realisation.implemented) ImplementedDriven (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) ImplementedFunction (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) ImplementedSpelling (class in cottax.consumers.json.format) ImplementedTwice (class in cottax.core.realisation.implemented) implements (BFGS attribute), [1], [2] (Diffrax attribute) (DriverImplementation attribute) (ImplementsAnother attribute) (Newton attribute), [1], [2] (NoDefaultContract attribute) (Picard attribute), [1], [2] (SLSQP attribute), [1], [2] ImplementsAnother (class in cottax.consumers.execution.refusals) Implicit (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) in_full() (in module cottax.core.maths.plan.primitive) in_target (Layout attribute) Inconsistent (class in cottax.consumers.json.refusals) Index (class in cottax.consumers.surface.interface_types) index (Index attribute) IndividualFeasible (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) inequalities (Canonical attribute) (Programme attribute), [1] inequality_constraint (RelationalDeclaring attribute), [1], [2] InequalityConstraint (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) InFull (class in cottax.assemblies.jax) (class in cottax.pytree.consumers.surface) (class in cottax.pytree.consumers.surface.names) Initial (class in cottax.ode.mints) initial (Dt attribute), [1], [2] (in module cottax.assemblies.jax) (Rate attribute), [1] initial_of() (in module cottax.ode.consumers.declaration) InitialDrawing (class in cottax.ode.consumers.visualization)

initials (OdeCondition property), [1], [2] ink (Style attribute), [1], [2] ink_box() (in module cottax.consumers.visualization.latex.xdsm) inner (AlreadyNested attribute), [1] (Nest attribute) (NestingLoop attribute), [1] (NotNested attribute), [1] (SelfNested attribute), [1] (Stranded attribute), [1] (Unbound attribute), [1] (Unnest attribute) (Unreachable attribute), [1] InputMissing (class in cottax.core.maths.valued) (class in cottax.core.refusal_kinds) Inputs (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.structures) INPUTS (in module cottax.consumers.visualization.latex.xdsm) inputs (Wrapper property) inputs_label (Layout attribute) Insert (class in cottax.core.maths.plan.primitive) inside() (in module cottax.consumers.architectures.architectures) INTEGRATE (in module cottax.ode.consumers.visualization) Integration (class in cottax.assemblies.jax) (class in cottax.ode.contracts) Integrator (class in cottax.assemblies.jax) (class in cottax.ode.contracts) interface (AboutNothing attribute) (AnsweredTwice attribute) (ChoiceAbstract attribute) (ChoiceElsewhere attribute) (NotAbout attribute) (NotAChoice attribute) (NothingToAsk attribute), [1] (Unanswered attribute) (UnknownCodec attribute) interfaces (NotOneInterface attribute) interior (InteriorConditionMap attribute) (Solve attribute), [1] interior() (NestingGraph method) (ProvedGraph method) InteriorConditionMap (class in cottax.consumers.execution.run) into (NotCombinable attribute) into() (Results method), [1], [2] is_about() (in module cottax.core.frozen.answer) is_acyclic (AbstractGraph property) is_constrained_optimise() (in module cottax.relational) (in module cottax.relational.classification) is_driven() (in module cottax.core.driven) (in module cottax.core.driven.nodes) is_equalities() (in module cottax.relational) (in module cottax.relational.classification) is_feasibility() (in module cottax.relational) (in module cottax.relational.classification) is_fixed_point() (in module cottax.relational) (in module cottax.relational.classification) is_implemented() (in module cottax.core.realisation) (in module cottax.core.realisation.implemented) is_iteration() (in module cottax.relational.contracts) is_key_entry() (in module cottax.pytree.crossings) is_ode() (in module cottax.ode) (in module cottax.ode.ode_condition) is_optimise() (in module cottax.relational) (in module cottax.relational.classification) is_prefix() (in module cottax.core.maths.places) is_problem() (in module cottax.core.maths.kinds) is_requirement() (in module cottax.core.maths.kinds) is_root_find() (in module cottax.relational) (in module cottax.relational.classification) is_unconstrained_optimise() (in module cottax.relational) (in module cottax.relational.classification) items() (OrderedMap method), [1]

J

Jacobi (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) jacobian() (SLSQP method), [1], [2]

jaxpr (Traced property), [1] JitGraph (class in cottax.assemblies.jax) (class in cottax.consumers.execution.jax_jit) Json (in module cottax.consumers.json.interface_types)

K

k (Setting attribute) Key (class in cottax.consumers.surface.interface_types) key (Key attribute) (NotANameKey attribute) (Slot attribute) (Under attribute), [1], [2] key_entries() (in module cottax.consumers.visualization.xdsm_struct) key_entry() (in module cottax.consumers.visualization.kinds) key_g (Layout attribute) key_h (Layout attribute) key_kind() (in module cottax.pytree) (in module cottax.pytree.crossings) KEY_KINDS (in module cottax.pytree.crossings) key_of() (in module cottax.pytree.consumers.surface.names) key_w (Layout attribute) keyed (SeveralRules attribute), [1] KeyRepeats (class in cottax.core.maths.cut_rules) (class in cottax.core.refusal_kinds) Keys (class in cottax.pytree.consumers.surface.builders) keys (KeyRepeats attribute), [1] keys() (OrderedMap method), [1] keys_of() (in module cottax.pytree.consumers.surface.builders) Keyword (class in cottax.consumers.declaration.interface_types) keyword (Keyword attribute) (NotAState attribute)

Kind (class in cottax.consumers.visualization.interface_types) kind (Combine attribute) (Drawn attribute) (DrivenSpelling attribute) (FunctionSpelling attribute) (ImplementedSpelling attribute) (NoContract attribute) (NoOutputs attribute) (NotAConditionalNode attribute) (NotAddable attribute), [1] (NotAFunction attribute) (NotCombinable attribute) (NotDriven attribute) (NotImplementable attribute), [1] (NotImplementedYet attribute) (NotOfKind attribute), [1] (NotPositional attribute) (OdeSpelling attribute) (RelationalSpelling attribute) (Spelling attribute) (Unhashable attribute) (UnknownKind attribute) kind_of() (in module cottax.relational.consumers.visualization) KINDS (in module cottax.relational.consumers.visualization)

L

Label (in module cottax.core.maths.places) label (Slot attribute) label() (Formatter method) (in module cottax.consumers.visualization.svg) (LatexFormatter method), [1], [2] (NodeReader method) (NodeWriter method) (NoFormat method) (PlainFormat method), [1], [2] (Reader method) (Writer method) label_codec (NodeReader attribute) (NodeWriter attribute) LabelCodec (class in cottax.consumers.json.interface) labels (Layout attribute) latex (CondDrawing attribute) (CopyDrawing attribute) (InitialDrawing attribute) (MintDrawing attribute) (RateDrawing attribute) (Text attribute) latex_to_markup() (in module cottax.consumers.visualization.latex) (in module cottax.consumers.visualization.latex.text) LatexFormatter (class in cottax.assemblies.jax) (class in cottax.consumers.visualization.latex) (class in cottax.consumers.visualization.latex.text) LATIN_MODERN (in module cottax.consumers.visualization.latex.xdsm) layered_pos() (in module cottax.consumers.visualization.visualization) Layout (class in cottax.consumers.visualization.latex.xdsm) (class in cottax.consumers.visualization.xdsm_layout)

layout() (in module cottax.consumers.visualization.xdsm_layout) Le (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) leaves (Unhashable attribute) legend (Kind attribute) lhs (Relation attribute), [1], [2] lies_inside() (in module cottax.consumers.architectures.architectures) Light (class in cottax.consumers.visualization.style) limit (CycleTooLarge attribute), [1] (GaussSeidelMinimal attribute), [1] line_h (Setting property) LINE_WEIGHTS (in module cottax.consumers.visualization.xdsm) line_width() (in module cottax.consumers.visualization.xdsm_layout) lines (Layout attribute) linewidth_pt (Layout attribute) loaded() (in module cottax.consumers.json.format) located() (Surface method), [1], [2] Locator (class in cottax.assemblies.jax) (class in cottax.consumers.surface.interface) locator (Surface attribute), [1], [2] loose_at() (Declaration method) (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.declared) (Problem method), [1], [2] (Wrapper method) loose_condition() (Paired method) lower (Box attribute), [1] Lower (class in cottax.relational.mints) lower (Programme attribute), [1]

M

m_bottom (Layout attribute) m_left (Layout attribute) m_top (Layout attribute) mark (Accent attribute) marked() (in module cottax.consumers.visualization.naming) MARKS (in module cottax.consumers.visualization.naming) MARKUP (in module cottax.consumers.visualization.naming) markup_html() (in module cottax.consumers.visualization.naming) markup_runs() (in module cottax.consumers.visualization.svg) MATH_FACE (in module cottax.consumers.visualization.latex.text) matrix_struct() (in module cottax.consumers.visualization.matrix) Max (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) max_steps (Diffrax attribute) (Optimistix attribute) (SLSQP attribute), [1], [2] MDA (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) mda() (Architecting method), [1], [2] MDF (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) mdf() (Architecting method), [1], [2] Measure (in module cottax.consumers.visualization.svg) measure (Setting attribute) merged_tags() (in module cottax.consumers.declaration.interface_types) message (Violation property), [1] Min (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) minimal_feedback_order() (in module cottax.core.maths.cut_rules) Minimisation (class in cottax.assemblies.jax) (class in cottax.relational.contracts) Minimiser (class in cottax.assemblies.jax) (class in cottax.relational.contracts) Mint (class in cottax.assemblies.jax) (class in cottax.core.maths.mints) mint (Derived attribute), [1] (Purpose attribute), [1], [2] mint_of() (in module cottax.core.maths.mints) (Minting method) (PathMinting method) MintDrawing (class in cottax.consumers.visualization.interface) minted() (in module cottax.core.maths.mints) (Minting method) (PathMinting method) minted_from() (in module cottax.consumers.visualization.lookup) (PathDrawing method) (PlaceDrawing method) Minting (class in cottax.core.maths.mints) missing (RecordUnpaired attribute) (Unvalued attribute) mix() (in module cottax.consumers.visualization.style) Model (class in cottax.consumers.execution.interface_types) model (Style attribute), [1], [2] (Unnamed attribute) ModelReading (class in cottax.consumers.architectures.interface) models (Nameless attribute) module cottax cottax.assemblies cottax.assemblies.jax cottax.consumers cottax.consumers.architectures cottax.consumers.architectures.architectures cottax.consumers.architectures.closing cottax.consumers.architectures.interface cottax.consumers.architectures.interface_types cottax.consumers.architectures.part cottax.consumers.architectures.refusals cottax.consumers.declaration cottax.consumers.declaration.conventions cottax.consumers.declaration.declared cottax.consumers.declaration.interface cottax.consumers.declaration.interface_types cottax.consumers.declaration.refusals cottax.consumers.execution cottax.consumers.execution.drive cottax.consumers.execution.interface cottax.consumers.execution.interface_types cottax.consumers.execution.jax_jit cottax.consumers.execution.part cottax.consumers.execution.refusals cottax.consumers.execution.run cottax.consumers.execution.structures cottax.consumers.json cottax.consumers.json.format cottax.consumers.json.interface cottax.consumers.json.interface_types cottax.consumers.json.refusals cottax.consumers.pickle cottax.consumers.surface cottax.consumers.surface.interface cottax.consumers.surface.interface_types cottax.consumers.surface.refusals cottax.consumers.visualization cottax.consumers.visualization.interactive cottax.consumers.visualization.interface cottax.consumers.visualization.interface_types cottax.consumers.visualization.kinds cottax.consumers.visualization.latex cottax.consumers.visualization.latex.dot cottax.consumers.visualization.latex.matrix cottax.consumers.visualization.latex.text cottax.consumers.visualization.latex.xdsm cottax.consumers.visualization.lookup cottax.consumers.visualization.matrix cottax.consumers.visualization.naming cottax.consumers.visualization.page cottax.consumers.visualization.refusals cottax.consumers.visualization.sequencing cottax.consumers.visualization.style cottax.consumers.visualization.svg cottax.consumers.visualization.visualization cottax.consumers.visualization.xdsm cottax.consumers.visualization.xdsm_html cottax.consumers.visualization.xdsm_layout cottax.consumers.visualization.xdsm_paint cottax.consumers.visualization.xdsm_struct cottax.core cottax.core.driven cottax.core.driven.driver cottax.core.driven.nodes cottax.core.driven.ops cottax.core.driven.proof cottax.core.driven.roles cottax.core.frozen cottax.core.frozen.answer cottax.core.frozen.base cottax.core.frozen.ordered_map cottax.core.frozen.violation cottax.core.maths cottax.core.maths.cut_rules cottax.core.maths.definition cottax.core.maths.dispatch cottax.core.maths.executable cottax.core.maths.graph cottax.core.maths.kinds cottax.core.maths.mints cottax.core.maths.nesting cottax.core.maths.places cottax.core.maths.plan cottax.core.maths.plan.algebra cottax.core.maths.plan.ops cottax.core.maths.plan.primitive cottax.core.maths.steps cottax.core.maths.valued cottax.core.realisation cottax.core.realisation.implemented cottax.core.realisation.proof cottax.core.refusal_kinds cottax.ode cottax.ode.consumers cottax.ode.consumers.architectures cottax.ode.consumers.declaration cottax.ode.consumers.execution cottax.ode.consumers.json cottax.ode.consumers.visualization cottax.ode.contracts cottax.ode.mints cottax.ode.ode_condition cottax.pytree cottax.pytree.consumers cottax.pytree.consumers.declaration cottax.pytree.consumers.execution cottax.pytree.consumers.json cottax.pytree.consumers.surface cottax.pytree.consumers.surface.builders cottax.pytree.consumers.surface.names cottax.pytree.consumers.visualization cottax.pytree.crossings cottax.pytree.mint cottax.pytree.path cottax.relational cottax.relational.classification cottax.relational.consumers cottax.relational.consumers.architectures cottax.relational.consumers.declaration cottax.relational.consumers.declaration.declarations cottax.relational.consumers.declaration.vocabulary cottax.relational.consumers.execution cottax.relational.consumers.execution.jax_solvers cottax.relational.consumers.execution.jax_solvers.canonical_nlp cottax.relational.consumers.execution.jax_solvers.optimistix cottax.relational.consumers.execution.jax_solvers.scipy_slsqp cottax.relational.consumers.json cottax.relational.consumers.surface cottax.relational.consumers.visualization cottax.relational.contracts cottax.relational.mints cottax.relational.programme cottax.relational.relational_condition cottax.relational.rewrites

module (NotLoaded attribute) Monolithic (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) MultidisciplinaryFeasible (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) muted (Style attribute), [1], [2]

N

n (Grid property) N (in module cottax.pytree.consumers.surface.builders) n_ext_col (Grid attribute) n_in (Grid attribute) n_out (Grid attribute) name (Field attribute) (Kind attribute) (NamedAlike attribute) (NameTaken attribute), [1] (NodeReader attribute) (NodeWriter attribute) (NotBound attribute), [1] (NotLoaded attribute) (Reader attribute) (Style attribute), [1], [2] (Writer attribute) name_of() (in module cottax.core.frozen) (in module cottax.core.frozen.violation) Named (in module cottax.consumers.surface.interface_types) NamedAlike (class in cottax.consumers.visualization.refusals) Nameless (class in cottax.consumers.declaration.refusals) names (ClosuresCollide attribute) (Solves attribute), [1], [2] NAMES_CSS (in module cottax.consumers.visualization.xdsm_html) namespace_of() (in module cottax.consumers.visualization.lookup) (PathDrawing method) (PlaceDrawing method) NameTaken (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) ncols (Grid attribute) needs (Diffrax attribute) (DriverImplementation attribute) (Optimistix attribute) (SLSQP attribute), [1], [2] Nest (class in cottax.core.maths.plan.primitive) nest() (Editing method), [1] nest_em (Style attribute), [1], [2] NestedAlready (class in cottax.consumers.architectures.refusals) nesting_inside() (Architecture method), [1], [2] NestingGraph (class in cottax.core.maths.nesting) NestingLoop (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) networkx_graph() (in module cottax.consumers.visualization.visualization) Newton (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers) (class in cottax.relational.consumers.execution.jax_solvers.optimistix) next_values() (in module cottax.relational.consumers.execution.jax_solvers.canonical_nlp) NoContract (class in cottax.core.realisation.implemented) NoCuts (class in cottax.assemblies.jax) (class in cottax.core.maths.cut_rules) node (BodyByIdentity attribute) (DataMissing attribute) (DefinedInMain attribute) (Implemented attribute), [1] (ImplementedDriven attribute), [1] (ImplementedFunction attribute), [1] (ImplementedTwice attribute) (ImplementsAnother attribute) Node (in module cottax.pytree.consumers.surface) (in module cottax.pytree.consumers.surface.builders) node (Inconsistent attribute) (NoContract attribute) (NoImplementation attribute) (NoneAccepts attribute) (NoneImplements attribute) (NotADriverImplementation attribute) (NotAFunction attribute) (NotCallable attribute) (NotImplementable attribute), [1] (NotImplementedYet attribute) (NotRenamed attribute), [1] (OwnAroundOwner attribute), [1] (OwnedTwice attribute), [1] (OwnInsideOwner attribute), [1] (PartialBody attribute) (RelatesNothing attribute) (Rename attribute) (Replace attribute) (ReportUnavailable attribute) (RequirementUnanswered attribute), [1] (ReturnedUnlike attribute) (Run attribute) (StatesNothing attribute), [1] (TraceFailed attribute) (Undriven attribute) (Unexportable attribute) (Unhashable attribute) (UnknownKind attribute) (UnknownWord attribute) (Unpicklable attribute) node() (Locator method), [1] (NodeReader method) (NodeWriter method) (PytreeLocator method), [1], [2] (Reader method) (Surface method), [1], [2] (Writer method) (Written method) (WrittenKeys method) node_at() (DerivedNames method) (PytreeDerivedNames method) node_in_tree() (DerivedNames method) (PytreeDerivedNames method) node_of() (in module cottax.pytree.consumers.surface) (in module cottax.pytree.consumers.surface.builders) node_tags (Declared attribute), [1], [2] NodeDefinition (class in cottax.core.maths.definition) NodeDrawing (class in cottax.consumers.visualization.interface) NoDefaultContract (class in cottax.consumers.execution.refusals) NodeInTwoBlocks (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) NodeNamedTwice (class in cottax.core.realisation.implemented) NodePath (class in cottax.pytree) (class in cottax.pytree.path) NodeReader (class in cottax.consumers.json.format) nodes (AbstractGraph property) (Block property) (Combine attribute) (Delete attribute) (DoesNotRead attribute), [1] (Entry property) (Grid attribute) (Insert attribute) (Locator attribute), [1] (NestingGraph property) (NodeInTwoBlocks attribute), [1] (NodeNamedTwice attribute) (NodeTwice attribute), [1] (NoRule attribute), [1] (NotAProblem attribute), [1] (NotOfKind attribute), [1] (OrderMismatch attribute), [1] (ProvedGraph property) (PytreeLocator attribute), [1], [2] (Unimplement attribute), [1]

nodes() (Declaration method) (Explicit method), [1], [2] (Paired method) (Problem method), [1], [2] (Surface method), [1], [2] nodes_when_held() (Declaration method) (Problem method), [1], [2] (Wrapper method) NodeTwice (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NodeWriter (class in cottax.consumers.json.format) NoFormat (class in cottax.pytree.consumers.visualization) NoImplementation (class in cottax.core.realisation.proof) NoneAccepts (class in cottax.consumers.execution.refusals) NoneImplements (class in cottax.consumers.execution.refusals) NoneTakes (class in cottax.consumers.execution.refusals) NoOutputs (class in cottax.consumers.declaration.refusals) NoPlaceFor (class in cottax.consumers.surface.refusals) NoProblem (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) NoReaders (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) NoRoleAt (class in cottax.consumers.execution.refusals) NoRule (class in cottax.core.maths.cut_rules) (class in cottax.core.refusal_kinds) NoSides (class in cottax.relational.relational_condition) NoSlotFor (class in cottax.consumers.execution.refusals) not_implicit() (in module cottax.consumers.architectures.architectures) (ModelReading method) (OdeModel method) (RelationalModel method) NotAbout (class in cottax.core.frozen.answer) NotAccepted (class in cottax.core.driven.nodes) NotAChoice (class in cottax.core.frozen.answer) NotAConditionalNode (class in cottax.core.driven.ops) NotAddable (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NotADriverImplementation (class in cottax.consumers.execution.refusals) NotAFunction (class in cottax.core.realisation.implemented) NotAGraph (class in cottax.consumers.json.refusals) NotANameKey (class in cottax.pytree.consumers.surface.names) NotAnInput (class in cottax.consumers.declaration.refusals) (class in cottax.consumers.execution.refusals) NotANode (class in cottax.consumers.surface.refusals) NotAnUnknown (class in cottax.consumers.execution.refusals) NotAPair (class in cottax.relational.consumers.declaration.declarations) NotAPlace (class in cottax.consumers.surface.refusals) (class in cottax.core.maths.valued) (class in cottax.core.refusal_kinds) NotAProblem (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) NotARel (class in cottax.relational.relational_condition) NotASense (class in cottax.relational.relational_condition) NotAState (class in cottax.ode.consumers.declaration) Notation (class in cottax.consumers.visualization.interface_types) notation() (Formatter method) (LatexFormatter method), [1], [2] (NoFormat method) (PlainFormat method), [1], [2] notation_of() (in module cottax.consumers.visualization.naming) Notations (in module cottax.consumers.visualization.naming) NotBound (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NotCallable (class in cottax.consumers.execution.refusals) NotCombinable (class in cottax.consumers.architectures.refusals) NotDriven (class in cottax.core.driven.ops) NotDriverData (class in cottax.consumers.execution.refusals) NotEqualities (class in cottax.relational.consumers.architectures) NotHeldAs (class in cottax.relational.consumers.declaration.declarations) NothingCut (class in cottax.relational.rewrites) NothingDeleted (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NothingImplemented (class in cottax.core.realisation.implemented) NothingInserted (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NothingToAsk (class in cottax.core.maths.dispatch) (class in cottax.core.refusal_kinds) NothingToCombine (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NotImplementable (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) NotImplementedYet (class in cottax.core.realisation.implemented) NotLoaded (class in cottax.consumers.json.refusals) NotNested (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NotOfKind (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) NotOneInterface (class in cottax.core.frozen.answer) NotPositional (class in cottax.consumers.declaration.refusals) NotProduced (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) NotProgrammable (class in cottax.relational.programme) NotRenamed (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) NotSquare (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers.canonical_nlp) NoUnknowns (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) now_or_as_decorator() (in module cottax.consumers.declaration.interface_types) nrows (Grid attribute) nx_dependencies() (in module cottax.core.maths.graph)

O

Objective (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) objectives (Canonical attribute) (Problem attribute), [1], [2] (Programme attribute), [1] (RelationalCondition attribute), [1], [2] OdeCondition (class in cottax.assemblies.jax) (class in cottax.ode) (class in cottax.ode.ode_condition) OdeDeclaring (class in cottax.assemblies.jax) (class in cottax.ode.consumers.declaration) OdeDrawing (class in cottax.ode.consumers.visualization) OdeModel (class in cottax.ode.consumers.architectures) OdeSpelling (class in cottax.ode.consumers.json) OnCycle (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) one (BodyShared attribute) one_mda() (in module cottax.consumers.architectures.architectures) one_per_kind() (in module cottax.consumers.json.refusals) one_per_tag() (in module cottax.consumers.json.refusals) onto (Rename attribute) op (NotARel attribute) (Relation attribute), [1], [2] op_arrow() (in module cottax.consumers.visualization.latex.xdsm) Opened (in module cottax.core.maths.cut_rules) opened (Resolution attribute), [1], [2] ops (Plan attribute) (Stage attribute) optimise() (RelationalDeclaring method), [1], [2] Optimistix (class in cottax.relational.consumers.execution.jax_solvers.optimistix) order (GaussSeidelOrdered attribute), [1] (OrderMismatch attribute), [1] order_of() (GaussSeidel method), [1] (GaussSeidelMinimal method), [1] (GaussSeidelOrdered method), [1] (Sweep method) ordered_graph() (in module cottax.consumers.visualization.sequencing) OrderedMap (class in cottax.core.frozen) (class in cottax.core.frozen.ordered_map) OrderMismatch (class in cottax.core.maths.cut_rules) (class in cottax.core.refusal_kinds) other (DriversDiffer attribute) (OwnAroundOwner attribute), [1] (OwnedTwice attribute), [1] (OwnInsideOwner attribute), [1] (OwnsNested attribute), [1] (OwnsTwice attribute), [1] (RoleAtTwoPlaces attribute) (SpansDiffer attribute) out_arrow (Layout attribute) out_col (Grid attribute) out_row (Grid attribute) out_w (Layout attribute) outer (AlreadyNested attribute), [1] (Nest attribute) (NestingLoop attribute), [1] (Stranded attribute), [1] (Unbound attribute), [1] (Unreachable attribute), [1]

outermost_problems (NestingGraph property) (ProvedGraph property) output_tags (Wrapper attribute) outputs (Declaration attribute) OUTPUTS (in module cottax.consumers.visualization.latex.xdsm) outputs (Problem property), [1], [2] (ReturnedUnlike attribute) (Wrapper attribute) outputs_label (Layout attribute) outright() (Formatter method) (LatexFormatter method), [1], [2] (NoFormat method) (PlainFormat method), [1], [2] outside (Resolution attribute), [1], [2] outside() (Architecture method), [1], [2] (Coupled method), [1], [2] (Monolithic method), [1], [2] OutsideCycle (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) overlaps() (in module cottax.core.maths.places) own (ForeignPlace attribute) (OwnInsideRead attribute), [1] (ReadInsideOwn attribute), [1] own() (in module cottax.pytree.consumers.execution) OwnAroundOwner (class in cottax.core.maths.graph) (class in cottax.core.refusal_kinds) owned_against() (in module cottax.core.maths.graph) owned_below (AbstractGraph property) owned_comparably() (in module cottax.core.maths.graph) owned_overlaps() (in module cottax.core.maths.graph) owned_variables (AbstractGraph property) OwnedGiven (class in cottax.core.maths.valued) (class in cottax.core.refusal_kinds) OwnedTwice (class in cottax.core.maths.graph) (class in cottax.core.refusal_kinds) owner (OwnerInsideRead attribute), [1] (ReadInsideOwner attribute), [1] OwnerInsideRead (class in cottax.core.maths.graph) (class in cottax.core.refusal_kinds) owners (AbstractGraph property) owners_of() (in module cottax.core.maths.graph) OwnInsideOwner (class in cottax.core.maths.graph) (class in cottax.core.refusal_kinds) OwnInsideRead (class in cottax.core.maths.definition) (class in cottax.core.refusal_kinds) OwnReadInsideCycle (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) owns (Driven property), [1], [2] (Function attribute) (Implemented property), [1] (NodeDefinition attribute) (OdeCondition property), [1], [2] (RelationalCondition property), [1], [2] OwnsNested (class in cottax.core.maths.definition) (class in cottax.core.refusal_kinds) OwnsNothing (class in cottax.core.maths.kinds) (class in cottax.core.refusal_kinds) OwnsTwice (class in cottax.core.maths.definition) (class in cottax.core.refusal_kinds)

P

PAGE (in module cottax.consumers.visualization.latex.xdsm) page() (in module cottax.consumers.visualization.page) paint() (Dark method) (Ground method) (Light method) (Style method), [1], [2] paint_boundary() (in module cottax.consumers.visualization.xdsm_paint) paint_couplings() (in module cottax.consumers.visualization.xdsm_paint) paint_data_boxes() (in module cottax.consumers.visualization.xdsm_paint) paint_diagonal() (in module cottax.consumers.visualization.xdsm_paint) paint_io() (in module cottax.consumers.visualization.xdsm_paint) paint_key() (in module cottax.consumers.visualization.xdsm_paint) paint_rings() (in module cottax.consumers.visualization.xdsm_paint) Pair (in module cottax.consumers.visualization.style) (in module cottax.relational.consumers.declaration.vocabulary) Paired (class in cottax.consumers.declaration.interface_types) pairs (NestedAlready attribute) parameter (HeldByValue attribute) (NotPositional attribute) parameter_reads() (Declaring method), [1] ParameterReads (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.conventions) parameters (Bounds property) (Description attribute), [1], [2] (OdeCondition property), [1], [2] (ReadsUnlike attribute) (RelationalCondition attribute), [1], [2] (Unimplemented attribute), [1], [2] parameters_of() (in module cottax.consumers.declaration.interface_types) ParameterUnrelated (class in cottax.relational.relational_condition) Part (class in cottax.assemblies.jax) (class in cottax.consumers.surface.interface) PartialBody (class in cottax.consumers.execution.refusals) Path (class in cottax.pytree) (class in cottax.pytree.path) path (HtmlDoc attribute) (SvgDoc attribute) path_of() (in module cottax.pytree.consumers.surface.builders) PathDrawing (class in cottax.pytree.consumers.visualization) PathMinting (class in cottax.pytree.mint) per_functional_cycle() (in module cottax.core.maths.cut_rules) per_functional_cycle_boxed() (in module cottax.consumers.architectures.architectures) per_level() (Frozen class method), [1] per_place() (Conventions method), [1], [2] (Declaring method), [1] per_place_of() (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.conventions) per_problem() (in module cottax.ode.consumers.declaration) PerLevel (class in cottax.core.frozen) (class in cottax.core.frozen.base) PerProblem (class in cottax.core.driven) (class in cottax.core.driven.driver) PerUnknown (class in cottax.core.driven) (class in cottax.core.driven.driver) Picard (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers) (class in cottax.relational.consumers.execution.jax_solvers.optimistix) Pictures (class in cottax.consumers.visualization.page) Place (class in cottax.core.maths.places) place (NotAPair attribute) (Objective attribute), [1], [2] (OwnAroundOwner attribute), [1] (OwnedTwice attribute), [1] (OwnerInsideRead attribute), [1] (OwnInsideOwner attribute), [1] (OwnInsideRead attribute), [1] (OwnsNested attribute), [1] (OwnsTwice attribute), [1] (PlaceWithValue attribute), [1] (ReadInsideOwn attribute), [1] (ReadInsideOwner attribute), [1] (ReadsOwn attribute), [1] (Slot attribute) (TakesNoValue attribute) (ValuedTwice attribute) place() (InFull method), [1], [2] (Locator method), [1] (NodeReader method) (NodeWriter method) (Reader method) (Surface method), [1], [2] (Under method), [1], [2] (Writer method) place_at() (DerivedNames method) (PytreeDerivedNames method) place_codec (NodeReader attribute) (NodeWriter attribute) place_of() (in module cottax.pytree.consumers.surface) (in module cottax.pytree.consumers.surface.builders) place_tags (Declared attribute), [1], [2] PlaceCodec (class in cottax.consumers.json.interface) PlaceDrawing (class in cottax.consumers.visualization.interface) places (AgainstNoOutput attribute) (AssignByRule attribute), [1] (BoundNotUnknown attribute) (Constant attribute), [1] (CutTwice attribute) (Drive attribute), [1], [2] (FixedAndMoved attribute) (ForeignPlace attribute) (HeldAgainstNothing attribute) (InputMissing attribute), [1] (Locator attribute), [1] (NotAnInput attribute), [1] (NotAPlace attribute), [1] (NotAState attribute) (NotRenamed attribute), [1] (OwnedGiven attribute), [1] (OwnReadInsideCycle attribute), [1] (ParameterUnrelated attribute) (PytreeLocator attribute), [1], [2] (ReadInsideCycle attribute), [1] (RoleAtTwoPlaces attribute) (RoleMisplaced attribute) (StandsForSeveral attribute)

places() (NodeReader method) (NodeWriter method) (Reader method) (Surface method), [1], [2] (Writer method) (Written method) (WrittenKeys method) places_of() (DrivenNode method), [1] PlaceToPlace (in module cottax.core.maths.places) PlaceWithValue (class in cottax.assemblies.jax) (class in cottax.consumers.declaration.interface_types) plain (CondDrawing attribute) (CopyDrawing attribute) (InitialDrawing attribute) (MintDrawing attribute) (RateDrawing attribute) (Text attribute) PlainFormat (class in cottax.assemblies.jax) (class in cottax.consumers.visualization) (class in cottax.consumers.visualization.naming) Plan (class in cottax.core.maths.plan.algebra) plan (Declared attribute), [1], [2] Posed (class in cottax.consumers.execution.interface_types) posing() (InteriorConditionMap class method) predicate (NotAccepted attribute) prefixes() (in module cottax.consumers.visualization.page) (in module cottax.core.maths.places) Primitive (class in cottax.core.maths.plan.primitive) printed_ink() (in module cottax.consumers.visualization.latex.xdsm) problem (AlreadyUndetermined attribute), [1] (Assign attribute), [1] (AssignByRule attribute), [1] (Block property) Problem (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) problem (ConditionOffBody attribute) (Constant attribute), [1] (DrivenTwice attribute) (Implicit property), [1], [2] (NoneAccepts attribute) (NotAccepted attribute) (NotAConditionalNode attribute) (NotCombinable attribute) (NotDriven attribute) (NotDriverData attribute) (NotEqualities attribute) (OutsideCycle attribute), [1] (OwnReadInsideCycle attribute), [1] (Rate property), [1] (RateUnwritten attribute) (ReadInsideCycle attribute), [1] (Slot attribute) (Solve attribute), [1] (StillCyclic attribute), [1] (TakesNoValue attribute) (Undetermine attribute) (Undrive attribute), [1] (UnknownUnread attribute) problem_type_of() (in module cottax.consumers.visualization.kinds) problems (NestingGraph property) (ProvedGraph property) (SeveralOutermost attribute), [1] (Unresolved attribute) problems() (in module cottax.core.maths.kinds) problems_first() (in module cottax.consumers.visualization.sequencing) Programme (class in cottax.relational) (class in cottax.relational.programme) programme() (in module cottax.relational) (in module cottax.relational.programme) proof (ProvedBelow attribute) proved_once() (in module cottax.core.maths.plan.algebra) ProvedBelow (class in cottax.consumers.execution.refusals) ProvedGraph (class in cottax.core.maths.nesting) provides (Diffrax attribute) (DriverImplementation attribute) (Optimistix attribute) (SLSQP attribute), [1], [2] Purpose (class in cottax.assemblies.jax) (class in cottax.consumers.surface) (class in cottax.consumers.surface.interface_types) PytreeCodec (class in cottax.pytree.consumers.json) PytreeDerivedNames (class in cottax.pytree.consumers.surface.names) PytreeLabelCodec (class in cottax.pytree.consumers.json) PytreeLocator (class in cottax.assemblies.jax) (class in cottax.pytree.consumers.surface) (class in cottax.pytree.consumers.surface.names) PytreeStructure (class in cottax.pytree.consumers.execution) PYXDSM (in module cottax.consumers.visualization.style)

R

raised (Violation property), [1] Rate (class in cottax.assemblies.jax) (class in cottax.ode.consumers.declaration) (class in cottax.ode.mints) rate (Dt attribute), [1], [2] (in module cottax.assemblies.jax) (OdeDeclaring attribute), [1] RateDrawing (class in cottax.ode.consumers.visualization) rates (OdeCondition property), [1], [2] (RateUnwritten attribute) RateUnwritten (class in cottax.ode.consumers.architectures) reach() (AbstractGraph method) reached_requirements() (in module cottax.consumers.architectures.architectures) read (Keyword attribute) read() (DataStructure method) (DrivenSpelling method) (Env method) (FunctionSpelling method) (ImplementedSpelling method) (OdeSpelling method) (PytreeStructure method) (RelationalSpelling method) (Spelling method) read_at() (in module cottax.pytree) (in module cottax.pytree.crossings) read_below (AbstractGraph property) read_from() (in module cottax.consumers.execution) (in module cottax.consumers.execution.structures) read_json() (in module cottax.consumers.json) (in module cottax.consumers.json.format) read_key() (in module cottax.pytree.consumers.json) read_label() (LabelCodec method) (PytreeLabelCodec method) read_place() (PlaceCodec method) (PytreeCodec method) read_variables (AbstractGraph property) Reader (class in cottax.consumers.json.interface_types) readers (AbstractGraph property) (Cut attribute) (OwnerInsideRead attribute), [1] (OwnReadInsideCycle attribute), [1] (ReadInsideOwner attribute), [1] readers_of() (in module cottax.core.maths.graph) ReadIn (in module cottax.consumers.declaration.conventions) reading() (Declaring method), [1] ReadInsideCycle (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) ReadInsideOwn (class in cottax.core.maths.definition) (class in cottax.core.refusal_kinds) ReadInsideOwner (class in cottax.core.maths.graph) (class in cottax.core.refusal_kinds) reads (Conventions attribute), [1], [2] (Driven property), [1], [2] (Function attribute) (Implemented property), [1] Reads (in module cottax.consumers.declaration.conventions) reads (NodeDefinition attribute) (OdeCondition property), [1], [2] (ReadsUnlike attribute) (RelationalCondition property), [1], [2] (Slot attribute) reads_exact_against() (in module cottax.core.maths.graph) reads_of() (in module cottax.consumers.declaration.conventions) ReadsOwn (class in cottax.core.maths.definition) (class in cottax.core.refusal_kinds) ReadsUnlike (class in cottax.consumers.declaration.refusals) RealisedGraph (class in cottax.core.realisation) (class in cottax.core.realisation.proof) reason (TraceFailed attribute) (Unexportable attribute) (Unpicklable attribute) Rebind (class in cottax.core.maths.plan.primitive) Rebinding (class in cottax.core.maths.plan.primitive) rebinding() (Combine method) (Delete method) (Insert method) (Rebind method) (Redefine method) rebound() (in module cottax.core.maths.plan.primitive) record (Rate attribute), [1] record_of() (in module cottax.ode.consumers.declaration) RecordUnpaired (class in cottax.ode.consumers.declaration) Redefine (class in cottax.core.maths.plan.primitive) redefined() (Assign method), [1] (Determine method) (Implement method), [1] (Redefine method) (Replace method) (Rewire method) (Undetermine method) (Undrive method), [1] (Unimplement method), [1] reference() (in module cottax.consumers.json.format) refusals() (in module cottax.core.maths.plan.algebra) refuse() (NodeWriter method) (Writer method) Rel (class in cottax.relational) (class in cottax.relational.relational_condition) Relabel (in module cottax.core.maths.plan.ops) relabel() (Driven method), [1], [2] (Dt method), [1], [2] (Function method) (Implemented method), [1] (NodeDefinition method) (Objective method), [1], [2] (OdeCondition method), [1], [2] (Relation method), [1], [2] (RelationalCondition method), [1], [2] relabelled() (in module cottax.core.maths.definition) RelatesNothing (class in cottax.relational.relational_condition) Relation (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) relation (NotProgrammable attribute) RelationalCondition (class in cottax.assemblies.jax) (class in cottax.relational) (class in cottax.relational.relational_condition) RelationalDeclaring (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.vocabulary) RelationalDrawing (class in cottax.relational.consumers.visualization) RelationalEditing (class in cottax.assemblies.jax) (class in cottax.relational.consumers.surface) RelationalModel (class in cottax.relational.consumers.architectures) RelationalSpelling (class in cottax.relational.consumers.json)

relations (FixedRelation attribute) (OdeCondition attribute), [1], [2] (RelationalCondition attribute), [1], [2] relations() (Bounds method) RELS (in module cottax.relational.consumers.json) remedy (BodyShared attribute) remove (Rebinding attribute) Rename (class in cottax.core.maths.plan.ops) rename() (Editing method), [1] Renaming (in module cottax.core.maths.definition) renaming() (Cut method) (Rename method) (Rewire method) render() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.latex.dot) (in module cottax.consumers.visualization.visualization) render_html() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.interactive) render_matrix_svg() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.matrix) render_xdsm_svg() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.xdsm) Replace (class in cottax.core.maths.plan.ops) reports (Assign attribute), [1] (ConstrainedMinimisation property), [1] (Driven attribute), [1], [2] (DrivenNode attribute), [1] (DriverContract attribute), [1] (FixedPointIteration property), [1] (ImplementedDriven property), [1] (Integration property), [1] (Minimisation property), [1] (Posed attribute) (RootFinding property), [1] ReportUnavailable (class in cottax.consumers.execution.refusals) Require (class in cottax.relational.mints) requirement (AlreadyDetermined attribute), [1] (Constraint property) (Determine attribute) requirement() (RelationalDeclaring method), [1], [2] requirements() (in module cottax.core.maths.kinds) RequirementUnanswered (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) Residual (class in cottax.assemblies.jax) (class in cottax.relational.consumers.declaration) (class in cottax.relational.consumers.declaration.declarations) residual (RelationalDeclaring attribute), [1], [2] Resolution (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) resolution() (Architecture method), [1], [2] resolve (NodeReader attribute) resolves() (in module cottax.pytree.crossings) Results (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.part) ReturnedUnlike (class in cottax.consumers.execution.refusals) REVTEX (in module cottax.consumers.visualization.latex.xdsm) Rewire (class in cottax.core.maths.plan.ops) rhs (Relation attribute), [1], [2] ring_at (Layout attribute) ring_class() (in module cottax.consumers.visualization.xdsm_struct) ring_gap (Style attribute), [1], [2] RING_NEST (in module cottax.consumers.visualization.xdsm_paint) ring_radius_em (Style attribute), [1], [2] ring_stroke() (in module cottax.consumers.visualization.kinds) ring_text() (in module cottax.consumers.visualization.xdsm_struct) RING_THICK (in module cottax.consumers.visualization.xdsm) Role (class in cottax.core.driven) (class in cottax.core.driven.driver) role (NoneTakes attribute) (NoPlaceFor attribute) (NoRoleAt attribute) (NoSlotFor attribute) (NotANode attribute) (NotAnUnknown attribute) (NotAPlace attribute) (NotDriverData attribute) (RoleAtTwoPlaces attribute) (RoleMisplaced attribute) (RoleUnsized attribute) (StandsForSeveral attribute) (TakesNoValue attribute) role_places (Driving attribute), [1], [2] (ShippedSurface attribute) role_slots() (in module cottax.core.driven) (in module cottax.core.driven.nodes) RoleAtTwoPlaces (class in cottax.core.driven.nodes) RoleMisplaced (class in cottax.core.driven.nodes) RolePlaces (class in cottax.assemblies.jax) (class in cottax.consumers.surface) (class in cottax.consumers.surface.interface_types) roles (DataMissing attribute) (ReportUnavailable attribute) (RoleTwice attribute) (SlotsMiscounted attribute) RoleTwice (class in cottax.core.driven.nodes) RoleUnsized (class in cottax.core.driven.nodes) root (Under attribute), [1], [2] RootFinder (class in cottax.assemblies.jax) (class in cottax.relational.contracts) RootFinding (class in cottax.assemblies.jax) (class in cottax.relational.contracts) row_h (Layout attribute) row_of() (Grid method) row_y (Layout attribute) rtol (Diffrax attribute) (Optimistix attribute) rule (Architecture attribute), [1], [2] (CloseFunctionalCycles attribute), [1], [2] rule() (RolePlaces method), [1], [2] rules (ByName attribute), [1] Run (class in cottax.consumers.visualization.sequencing) (class in cottax.core.maths.steps) run() (in module cottax.consumers.execution) (in module cottax.consumers.execution.run) (Running method), [1], [2] run_ring (Style attribute), [1], [2] Running (class in cottax.assemblies.jax) (class in cottax.consumers.execution) (class in cottax.consumers.execution.part)

S

SAND (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) sand() (Architecting method), [1], [2] satisfy() (RelationalDeclaring method), [1], [2] save() (in module cottax.consumers.visualization.latex.dot) (in module cottax.consumers.visualization.latex.xdsm) save_figure() (in module cottax.consumers.visualization.latex.xdsm) save_grid() (in module cottax.consumers.visualization.latex.xdsm) save_panels() (in module cottax.consumers.visualization.latex.dot) (in module cottax.consumers.visualization.latex.xdsm) save_row() (in module cottax.consumers.visualization.latex.dot) save_rows() (in module cottax.consumers.visualization.latex.matrix) save_strip() (in module cottax.consumers.visualization.latex.xdsm) scheme (Dark property) (Ground property) (Light property) SCIPY (in module cottax.relational.consumers.execution.jax_solvers.scipy_slsqp) scope() (Architecture method), [1], [2] (Coupled method), [1], [2] Scope() (in module cottax.assemblies.jax) scope() (Monolithic method), [1], [2] second (AnsweredTwice attribute) (CodedTwice attribute) (NamedAlike attribute) (SpelledAlike attribute) (SpelledTwice attribute) SEGMENTS (in module cottax.pytree.consumers.json) segments (Path attribute), [1] (Place property) segments_of() (in module cottax.pytree.consumers.json) self_overlaps() (in module cottax.core.maths.places) SelfNested (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) Sense (class in cottax.relational) (class in cottax.relational.relational_condition) sense (NotASense attribute) (Objective attribute), [1], [2] SENSES (in module cottax.relational.consumers.json) SEP (in module cottax.consumers.visualization.xdsm_layout) sequence() (in module cottax.consumers.visualization.sequencing) set() (Formatter method) (LatexFormatter method), [1], [2] (NoFormat method) (PlainFormat method), [1], [2] Setting (class in cottax.consumers.visualization.xdsm_layout) setting (Layout attribute) setting() (in module cottax.consumers.visualization.xdsm_layout) SeveralOutermost (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) SeveralRules (class in cottax.core.maths.cut_rules) (class in cottax.core.refusal_kinds) shapes (Traced property), [1] shared_bodies() (in module cottax.consumers.architectures.architectures) Shipped() (in module cottax.assemblies.jax) (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.conventions) ShippedSurface (class in cottax.assemblies.jax) Shown (in module cottax.consumers.visualization.naming) shown() (in module cottax.consumers.visualization.naming) Side (in module cottax.consumers.declaration.interface_types) side (Inconsistent attribute) (RoleTwice attribute) (SlotsMiscounted attribute) Simultaneous (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) size (CycleTooLarge attribute), [1] (Setting attribute) (SvgDoc attribute) Slot (class in cottax.consumers.execution.structures) (class in cottax.consumers.visualization.interface_types) SLOT_TEXT (in module cottax.relational.consumers.visualization) slots (Drawn attribute) (Grid attribute) (SlotsMiscounted attribute) slots() (in module cottax.consumers.execution) (in module cottax.consumers.execution.structures) slots_of() (in module cottax.relational.consumers.visualization) SlotsMiscounted (class in cottax.core.driven.nodes) slotted (Kind attribute) SLSQP (class in cottax.assemblies.jax) (class in cottax.relational.consumers.execution.jax_solvers) (class in cottax.relational.consumers.execution.jax_solvers.scipy_slsqp) Solve (class in cottax.consumers.declaration.interface_types) (class in cottax.consumers.visualization.sequencing) (class in cottax.core.maths.steps) solve() (BFGS method), [1], [2] (Newton method), [1], [2] (Optimistix method) (Picard method), [1], [2] solved (Block property) solver (Diffrax attribute) Solves (class in cottax.assemblies.jax) (class in cottax.consumers.architectures) (class in cottax.consumers.architectures.architectures) sources (ValuedTwice attribute)

SPACE (in module cottax.consumers.visualization.latex.text) Span (class in cottax.ode.mints) span (Grid attribute) (in module cottax.assemblies.jax) SPAN (in module cottax.ode.consumers.visualization) span (OdeCondition attribute), [1], [2] (Rate attribute), [1] (SpansDiffer attribute) spanl() (Setting method) SpansDiffer (class in cottax.ode.ode_condition) spell() (Formatter method) (LatexFormatter method), [1], [2] (NoFormat method) (PlainFormat method), [1], [2] spell_plain() (in module cottax.consumers.visualization.lookup) (PathDrawing method) (PlaceDrawing method) spelled (Accent attribute) (SpelledAlike attribute) spelled() (in module cottax.pytree.consumers.json) spelled_apart() (in module cottax.consumers.visualization.refusals) SpelledAlike (class in cottax.consumers.visualization.refusals) SpelledTwice (class in cottax.consumers.json.refusals) Spelling (class in cottax.consumers.json.interface) spelling (Path property), [1] spelling() (in module cottax.consumers.visualization.lookup) (PathDrawing method) (PlaceDrawing method) ssize (Setting attribute) Stage (class in cottax.core.maths.plan.algebra) staged() (StagedOp method) StagedOp (class in cottax.core.maths.plan.algebra) stages() (Architecture method), [1], [2] (StagedOp method) StandsForSeveral (class in cottax.consumers.surface.refusals) Start (class in cottax.assemblies.jax) (class in cottax.consumers.surface.interface_types) (class in cottax.core.driven) (class in cottax.core.driven.roles) state (Dt attribute), [1], [2] stated (Style attribute), [1], [2] stated_shape() (in module cottax.consumers.visualization.kinds) STATED_TEXT (in module cottax.consumers.visualization.kinds) STATED_TITLE (in module cottax.consumers.visualization.kinds) states (DeterminesItsStates attribute) (OdeCondition property), [1], [2] StatesNothing (class in cottax.core.maths.kinds) (class in cottax.core.refusal_kinds) Static (class in cottax.assemblies.jax) (class in cottax.pytree.consumers.declaration) Step (class in cottax.consumers.surface.interface_types) (in module cottax.core.maths.steps) SteppedExecutableGraph (class in cottax.core.maths.steps) Steps (class in cottax.consumers.surface.interface_types) (class in cottax.core.driven) (class in cottax.core.driven.roles) steps (ConstrainedMinimisation attribute), [1] (FixedPointIteration attribute), [1] (Grid attribute) (Minimisation attribute), [1] (RootFinding attribute), [1] (SteppedExecutableGraph property) StillCyclic (class in cottax.core.maths.executable) (class in cottax.core.refusal_kinds) Stranded (class in cottax.core.maths.plan.primitive) (class in cottax.core.refusal_kinds) strict (SLSQP attribute), [1], [2] strictly_below() (in module cottax.core.maths.places) stroke_chroma (Dark attribute) stroke_lightness (Dark attribute) structure (ForeignPlace attribute) Style (class in cottax.assemblies.jax) (class in cottax.consumers.visualization) (class in cottax.consumers.visualization.style) style_of() (in module cottax.consumers.visualization.style) STYLES (in module cottax.consumers.visualization.style) stylesheet() (in module cottax.consumers.visualization.xdsm) subgraph (Entry attribute) subgraph() (AbstractGraph method) (NestingGraph method) (ProvedGraph method) subject_to (Problem attribute), [1], [2] SubjectTo (in module cottax.relational.consumers.declaration.vocabulary) subscripted() (in module cottax.consumers.visualization.latex) (in module cottax.consumers.visualization.latex.text) Surface (class in cottax.assemblies.jax) (class in cottax.consumers.surface) (class in cottax.consumers.surface.interface_types) surface (Style attribute), [1], [2] SvgDoc (class in cottax.consumers.visualization.svg) svgs (Pictures attribute) Sweep (class in cottax.core.maths.cut_rules) symbol (Eq attribute), [1], [2] (Le attribute), [1], [2] (Max attribute), [1], [2] (Min attribute), [1], [2] (Rel attribute), [1] (Sense attribute), [1]

T

table (UnknownWord attribute) TABLES (in module cottax.relational.consumers.json) tag (LabelCodec attribute) (PlaceCodec attribute) (PytreeCodec attribute) (PytreeLabelCodec attribute) Tagged (class in cottax.assemblies.jax) (class in cottax.consumers.declaration.interface_types) tags (Declaration attribute) Tags (in module cottax.consumers.declaration.interface_types) tags (PlaceWithValue attribute), [1] (Problem property), [1], [2] (Wrapper property) tags_of() (in module cottax.assemblies.jax) (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.declared) takes (ConstrainedMinimisation property), [1] (DriverContract attribute), [1] (FixedPointIteration property), [1] (Integration property), [1] (Minimisation property), [1] (RootFinding property), [1] TakesNoValue (class in cottax.consumers.execution.refusals) Target (class in cottax.relational.mints) targets (EqualityConstraint attribute), [1], [2] targets_of() (in module cottax.relational.consumers.declaration.vocabulary) template (AboutNothing attribute) (AgainstNoOutput attribute) (AlreadyCut attribute), [1] (AlreadyDetermined attribute), [1] (AlreadyNested attribute), [1] (AlreadyUndetermined attribute), [1] (AnswerAndChoice attribute) (AnsweredTwice attribute) (AnswerHolds attribute) (Around attribute) (BlockTooSmall attribute), [1] (BodyByIdentity attribute) (BodyShared attribute) (BoundNotUnknown attribute) (BoxOwnsNothing attribute), [1] (ChoiceAbstract attribute) (ChoiceElsewhere attribute) (ClosuresCollide attribute) (CodedTwice attribute) (ConditionOffBody attribute) (Constant attribute), [1] (CutTwice attribute) (CycleTooLarge attribute), [1] (DataMissing attribute) (DefinedInMain attribute) (DeterminedWhileDriven attribute) (DeterminedWhileImplemented attribute) (DeterminesItsStates attribute) (DoesNotRead attribute), [1] (DrivenTwice attribute) (DriversDiffer attribute) (FixedAndMoved attribute) (FixedRelation attribute) (ForeignPlace attribute) (HeldAgainstNothing attribute) (HeldByValue attribute) (HeldNotInModel attribute) (ImplementedTwice attribute) (ImplementsAnother attribute) (Inconsistent attribute) (InputMissing attribute), [1] (KeyRepeats attribute), [1] (NamedAlike attribute) (Nameless attribute) (NameTaken attribute), [1] (NestedAlready attribute) (NestingLoop attribute), [1] (NoContract attribute) (NoDefaultContract attribute) (NodeInTwoBlocks attribute), [1] (NodeNamedTwice attribute) (NodeTwice attribute), [1] (NoImplementation attribute) (NoneAccepts attribute) (NoneImplements attribute) (NoneTakes attribute) (NoOutputs attribute) (NoPlaceFor attribute) (NoProblem attribute), [1] (NoReaders attribute), [1] (NoRoleAt attribute) (NoRule attribute), [1] (NoSides attribute) (NoSlotFor attribute) (NotAbout attribute) (NotAccepted attribute) (NotAChoice attribute) (NotAConditionalNode attribute) (NotAddable attribute), [1] (NotADriverImplementation attribute) (NotAFunction attribute) (NotAGraph attribute) (NotANameKey attribute) (NotAnInput attribute), [1] (NotANode attribute) (NotAnUnknown attribute) (NotAPair attribute) (NotAPlace attribute), [1], [2] (NotAProblem attribute), [1] (NotARel attribute) (NotASense attribute) (NotAState attribute) (NotBound attribute), [1] (NotCallable attribute) (NotCombinable attribute) (NotDriven attribute) (NotDriverData attribute) (NotEqualities attribute) (NotHeldAs attribute) (NothingCut attribute) (NothingDeleted attribute), [1] (NothingImplemented attribute) (NothingInserted attribute), [1] (NothingToAsk attribute), [1] (NothingToCombine attribute), [1] (NotImplementable attribute), [1] (NotImplementedYet attribute) (NotLoaded attribute) (NotNested attribute), [1] (NotOfKind attribute), [1] (NotOneInterface attribute) (NotPositional attribute) (NotProduced attribute), [1] (NotProgrammable attribute) (NotRenamed attribute), [1] (NotSquare attribute), [1] (NoUnknowns attribute), [1] (OrderMismatch attribute), [1] (OutsideCycle attribute), [1] (OwnAroundOwner attribute), [1] (OwnedGiven attribute), [1] (OwnedTwice attribute), [1] (OwnerInsideRead attribute), [1] (OwnInsideOwner attribute), [1] (OwnInsideRead attribute), [1] (OwnReadInsideCycle attribute), [1] (OwnsNested attribute), [1] (OwnsNothing attribute), [1] (OwnsTwice attribute), [1] (ParameterUnrelated attribute) (PartialBody attribute) (ProvedBelow attribute) (RateUnwritten attribute) (ReadInsideCycle attribute), [1] (ReadInsideOwn attribute), [1] (ReadInsideOwner attribute), [1] (ReadsOwn attribute), [1] (ReadsUnlike attribute) (RecordUnpaired attribute) (RelatesNothing attribute) (ReportUnavailable attribute) (RequirementUnanswered attribute), [1] (ReturnedUnlike attribute) (RoleAtTwoPlaces attribute) (RoleMisplaced attribute) (RoleTwice attribute) (RoleUnsized attribute) (SelfNested attribute), [1] (SeveralOutermost attribute), [1] (SeveralRules attribute), [1] (SlotsMiscounted attribute) (SpansDiffer attribute) (SpelledAlike attribute) (SpelledTwice attribute) (StandsForSeveral attribute) (StatesNothing attribute), [1] (StillCyclic attribute), [1] (Stranded attribute), [1] (TakesNoValue attribute) (TopNotAProblem attribute) (TopUnbound attribute) (TraceFailed attribute) (Unanswered attribute) (Unbound attribute), [1] (Undriven attribute) (UndrivenWhileImplemented attribute) (Unexportable attribute) (Unhashable attribute) (UnknownCodec attribute) (UnknownKind attribute) (UnknownTwice attribute), [1] (UnknownUnread attribute) (UnknownWord attribute) (Unnamed attribute) (Unpicklable attribute) (Unreachable attribute), [1] (Unvalued attribute) (ValuedTwice attribute) (Violation attribute), [1]

term() (Conventions method), [1], [2] (Declaring method), [1] term_of() (in module cottax.consumers.declaration) (in module cottax.consumers.declaration.conventions) terms (Bounds property) (EqualityConstraint property), [1], [2] (Explicit attribute), [1], [2] (Implicit attribute), [1], [2] (InequalityConstraint property), [1], [2] (Rate property), [1] (Relation property), [1], [2] (Wrapper attribute) TERRACOTTA (in module cottax.consumers.visualization.style) tex() (in module cottax.consumers.visualization.latex) (in module cottax.consumers.visualization.latex.text) (in module cottax.consumers.visualization.latex.xdsm) Text (class in cottax.consumers.visualization.interface_types) text() (Formatter method) (LatexFormatter method), [1], [2] (NoFormat method) (PlainFormat method), [1], [2] Times (class in cottax.assemblies.jax) (class in cottax.ode.contracts) (class in cottax.ode.mints) times (in module cottax.assemblies.jax) (Rate attribute), [1] tint (Style attribute), [1], [2] TIP_VARS (in module cottax.consumers.visualization.page) title (Kind attribute) to_cuts() (ByName method), [1] (CutRule method) (Jacobi method), [1] (NoCuts method), [1] (Sweep method) to_dot() (in module cottax.assemblies.jax) (in module cottax.consumers.visualization) (in module cottax.consumers.visualization.latex.dot) (in module cottax.consumers.visualization.visualization) to_svg() (in module cottax.consumers.visualization.latex.matrix) (in module cottax.consumers.visualization.latex.xdsm) ToCut (in module cottax.core.maths.cut_rules) tol (SLSQP attribute), [1], [2] top (Monolithic attribute), [1], [2] (TopNotAProblem attribute) (TopUnbound attribute) TopNotAProblem (class in cottax.consumers.architectures.refusals) topological_order (AbstractGraph property) TopUnbound (class in cottax.consumers.architectures.refusals) Traced (class in cottax.assemblies.jax) (class in cottax.consumers.execution.jax_jit) TraceFailed (class in cottax.consumers.execution.refusals) Trajectory (class in cottax.assemblies.jax) (class in cottax.ode.contracts) (class in cottax.ode.mints) trajectory (in module cottax.assemblies.jax) (Integration attribute), [1] trunk (Plan property) trusted() (OrderedMap class method), [1] tw() (in module cottax.consumers.visualization.svg) twd() (Setting method) twl() (Setting method) two (BodyShared attribute) twv() (Setting method)

U

Unanswered (class in cottax.core.frozen.answer) unanswered (Style attribute), [1], [2] Unbound (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) unbreakable() (in module cottax.core.maths.plan.primitive) unchecked() (in module cottax.core.frozen) (in module cottax.core.frozen.base) Under (class in cottax.assemblies.jax) (class in cottax.pytree.consumers.surface) (class in cottax.pytree.consumers.surface.names) Undetermine (class in cottax.core.maths.plan.ops) Undrive (class in cottax.core.driven) (class in cottax.core.driven.ops) Undriven (class in cottax.core.driven.proof) undriven (Style attribute), [1], [2] undriven() (Driven method), [1], [2] (DrivenNode method), [1] (ImplementedDriven method), [1] UndrivenWhileImplemented (class in cottax.core.realisation.implemented) Unexportable (class in cottax.consumers.json.refusals) Unhashable (class in cottax.consumers.execution.refusals) Unimplement (class in cottax.core.realisation) (class in cottax.core.realisation.implemented) Unimplemented (class in cottax.assemblies.jax) (class in cottax.consumers.declaration) (class in cottax.consumers.declaration.interface_types) unknown (Slot attribute) UnknownCodec (class in cottax.consumers.json.refusals) UnknownKind (class in cottax.consumers.json.refusals) unknowns (AlreadyDetermined attribute), [1] (ConditionalNode attribute) (Determine attribute) (DeterminedWhileDriven attribute) (DeterminedWhileImplemented attribute) (DeterminesItsStates attribute) (Driven property), [1], [2] (ImplementedDriven property), [1]

Unknowns (in module cottax.consumers.execution.interface_types) unknowns (InteriorConditionMap attribute) (NotSquare attribute), [1] (OdeCondition property), [1], [2] (OutsideCycle attribute), [1] (Problem attribute), [1], [2] (RelationalCondition attribute), [1], [2] (UnknownTwice attribute), [1] (UnknownUnread attribute) UnknownTwice (class in cottax.core.maths.plan.ops) (class in cottax.core.refusal_kinds) UnknownUnread (class in cottax.relational.consumers.architectures) UnknownWord (class in cottax.relational.consumers.json) unminted() (in module cottax.core.maths.mints) (Minting method) (PathMinting method) Unnamed (class in cottax.consumers.declaration.refusals) Unnest (class in cottax.core.maths.plan.primitive) unnest() (Editing method), [1] Unpicklable (class in cottax.consumers.pickle) Unravel (in module cottax.relational.consumers.execution.jax_solvers.scipy_slsqp) Unreachable (class in cottax.core.maths.nesting) (class in cottax.core.refusal_kinds) Unresolved (class in cottax.consumers.visualization.sequencing) untagged() (in module cottax.consumers.declaration.interface_types) Unvalued (class in cottax.consumers.execution.refusals) upper (Box attribute), [1] Upper (class in cottax.relational.mints) upper (Programme attribute), [1] using() (Declared method), [1], [2]

V

V (in module cottax.pytree.consumers.surface.builders) (InFull property), [1], [2] (Under property), [1], [2] Value (in module cottax.consumers.declaration.conventions) value (PlaceWithValue attribute), [1] (Tagged attribute), [1] value() (NodeReader method) (NodeWriter method) (Reader method) (Writer method) valued (Traced attribute), [1] valued() (Running method), [1], [2] valued_once() (in module cottax.consumers.execution) (in module cottax.consumers.execution.structures) ValuedTwice (class in cottax.consumers.execution.refusals) values (Env attribute) (GraphWithValues attribute) values() (OrderedMap method), [1] var (AlreadyCut attribute), [1] (Cut attribute) (DoesNotRead attribute), [1]

Var (in module cottax.pytree.consumers.surface) (in module cottax.pytree.consumers.surface.builders) var (NoReaders attribute), [1] (NotProduced attribute), [1] VAR_FONT_SIZE (in module cottax.consumers.visualization.xdsm_layout) variable (Style attribute), [1], [2] variable_ink (Style attribute), [1], [2] variables (AbstractGraph property) VarPath (class in cottax.pytree) (class in cottax.pytree.path) vars (FixedPointCut property), [1], [2] version (NotAGraph attribute) VIEWS (in module cottax.consumers.visualization.interactive) Violation (class in cottax.core.frozen) (class in cottax.core.frozen.violation) violations() (in module cottax.core.frozen) (in module cottax.core.frozen.violation) vsize (Setting attribute)

W

walk() (in module cottax.consumers.execution.run) (in module cottax.consumers.visualization.sequencing) wanted (RoleMisplaced attribute) weight() (in module cottax.consumers.visualization.svg) what (CodedTwice attribute) (NothingToAsk attribute), [1] (SpelledTwice attribute) (Unexportable attribute) where (Violation property), [1] why (NotAnUnknown attribute) (NotDriverData attribute) width (Layout attribute) within (Block attribute) (Edited attribute) Within (in module cottax.relational.consumers.declaration.vocabulary) within (NestingGraph attribute) (ProvedGraph property) within_of() (in module cottax.relational.consumers.declaration.vocabulary) witness (OwnAroundOwner attribute), [1] (OwnerInsideRead attribute), [1] (OwnInsideOwner attribute), [1] (ReadInsideOwner attribute), [1] word (UnknownWord attribute) word_of() (in module cottax.relational.consumers.json) Wrapper (class in cottax.consumers.declaration.interface_types) write() (DataStructure method) (DrivenSpelling method) (Env method) (FunctionSpelling method) (ImplementedSpelling method) (OdeSpelling method) (PytreeStructure method) (RelationalSpelling method) (Spelling method)

write_at() (in module cottax.pytree) (in module cottax.pytree.crossings) write_back() (in module cottax.consumers.execution) (in module cottax.consumers.execution.structures) write_json() (in module cottax.consumers.json) (in module cottax.consumers.json.format) write_key() (in module cottax.pytree.consumers.json) write_label() (LabelCodec method) (PytreeLabelCodec method) write_pickle() (in module cottax.consumers.pickle) write_place() (PlaceCodec method) (PytreeCodec method) write_role() (in module cottax.consumers.execution) (in module cottax.consumers.execution.structures) write_segment() (in module cottax.pytree.consumers.json) Writer (class in cottax.consumers.json.interface_types) Written (class in cottax.consumers.surface.interface) written (Derived attribute), [1] (NoRoleAt attribute) (NotANode attribute) (NotAnUnknown attribute) (NotAPair attribute) (NotAPlace attribute) (StandsForSeveral attribute) (UnknownCodec attribute) written_at() (in module cottax.consumers.declaration.conventions) WrittenKeys (class in cottax.pytree.consumers.surface.names)

X

xdsm_css() (in module cottax.consumers.visualization.xdsm) xdsm_struct() (in module cottax.consumers.visualization.xdsm_struct)

xdsm_view() (in module cottax.consumers.visualization.xdsm_html) xesc() (in module cottax.consumers.visualization.svg)