root · ContextMismatchError

1 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.

ContextMismatchError

Values from incompatible mathematical contexts were combined.

PythonRust

class ContextMismatchError

noether::ContextMismatchError · Direct Rust declaration

pub struct ContextMismatchError { pub expected: String, pub actual: String, }

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core
GIL	attached / bounded

Executable usage: validation/unit/commalg/test_base_change.py:7 · validation/unit/commalg/test_base_change.py:79 · validation/unit/commalg/test_base_change.py:81 · validation/unit/commalg/test_kahler_differentials.py:12 · validation/unit/commalg/test_kahler_differentials.py:136 · validation/unit/commalg/test_monomial_ideal_facade.py:9