~/jendhub

def g2_of

bendtorch@1.3.0.0 · tensor.bend:363

import bendtorch@1.3.0.0/tensor.bend as Tensor
import Base

363def g2_of(-a: List<&2, Nat>, -b: List<&2, Nat>, -o: List<&2, Nat>, -g: List<&2, Nat>, p: P4) -> G2<a, b, o, g>:
364  match p:
365    case P4{d, x, y, w}:
366      G2{Tensor{d}, Tensor{x}, Tensor{y}, Tensor{w}}

Uses (5)

Used by (1)