λδ digital library (LDDL)
Constant
Informal description: ""
{λ[x:complex].λ[y:complex].λ[z:complex]}.<{({({({(z).(y).(x)}.iri1).({(z).(y).(x)}.rii1)}.pl).({(z).(y).(x)}.iir1)}.pl).({({({(z).(y).(x)}.iri).({(z).(y).(x)}.rii)}.pl).({(z).(y).(x)}.iir)}.pl)}.is>.{({({({((z).re).((y).im).((x).im)}.t4).({((z).im).((y).re).((x).im)}.t4).({(z).(y).(x)}.iri1).({(z).(y).(x)}.iir).({(z).(y).(x)}.rii1).({(z).(y).(x)}.iri)}.ispl12).({((z).im).((y).im).((x).re)}.t4).({({(z).(y).(x)}.iri1).({(z).(y).(x)}.rii1)}.pl).({({(z).(y).(x)}.iir).({(z).(y).(x)}.iri)}.pl).({(z).(y).(x)}.iir1).({(z).(y).(x)}.rii)}.ispl12).({({(z).(y).(x)}.iri).({(z).(y).(x)}.rii).({(z).(y).(x)}.iir)}.t6).({({({(z).(y).(x)}.iri1).({(z).(y).(x)}.rii1)}.pl).({(z).(y).(x)}.iir1)}.pl).({({({(z).(y).(x)}.iir).({(z).(y).(x)}.iri)}.pl).({(z).(y).(x)}.rii)}.pl).({({({(z).(y).(x)}.iri).({(z).(y).(x)}.rii)}.pl).({(z).(y).(x)}.iir)}.pl).(real)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100