λδ digital library (LDDL)
Constant
Informal description: ""
{λ[a:real].λ[b:real]}.<{({((b).m0).(a)}.pli).(({(b).(a)}.pli).conj)}.is>.{({({(b).(a)}.imis).(b).(({(b).(a)}.pli).im)}.ism0).({(b).(a)}.reis).((b).m0).((({(b).(a)}.pli).im).m0).(a).(({(b).(a)}.pli).re)}.isrecx12 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100