~/jendhub

def is_inf

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:117

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base

117def is_inf(a: SPoint) -> Bool:
118  match a:
119    case SPoint{x, y, z}: Nat.is_eq(z, 0n)

Uses (3)

Used by (9)