λδ digital library (LDDL)
Constant
Informal description: ""
λ[x:complex].<{({(0).((x).mod2)}.pli).({((x).conj).(x)}.ts)}.is>.{({((x).t3).((x).t2).(0).({({((x).re).((x).im)}.ts).({(((x).im).m0).((x).re)}.ts)}.pl).((x).mod2).({({(((x).im).m0).((x).im)}.ts).({((x).re).((x).re)}.ts)}.mn)}.isrecx12).({(((x).im).m0).((x).re).(x)}.tsis2a).({(0).((x).mod2)}.pli).({({({((x).re).((x).im)}.ts).({(((x).im).m0).((x).re)}.ts)}.pl).({({(((x).im).m0).((x).im)}.ts).({((x).re).((x).re)}.ts)}.mn)}.pli).({((x).conj).(x)}.ts).(cx)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100