Quadratic Form Theory

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Quadratic Form Theory.

• U-invariant — The supremum of dimensions of anisotropic quadratic forms over a field, equivalently the threshold above which every form is isotropic when finite.
• Universal quadratic form — A quadratic form over a declared ring that represents every element of that ring, or every element of a specified target subset under a qualified convention.