isNondegenerate

P93938 predicate

Indicates that the object or structure has no trivial, collapsed, or singular cases and thus satisfies the required non-degeneracy conditions.

Observed surface forms (2)

Sample triples (6)

Subject Object
Weil pairing true
Milnor number computable from Newton polygon via predicate surface "forNondegenerateConvenientPlaneCurve"
Hermitian forms (work on quadratic forms)
surface form: Hermitian form
h(x,y)=0 for all y implies x=0 via predicate surface "nondegeneracyCondition"
Kronecker pairing for finite type homology over a field
Kronecker pairing for closed oriented manifolds in top degree
Tate pairing true