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