λδ digital library (LDDL)
Constant
Informal description: ""
{λ[ksi:cut].λ[nx:(ksi).natrp].λ[eta:cut].λ[ny:(eta).natrp]}.<{(({({(ny).(eta).(nx).(ksi)}.y0).({(ny).(eta).(nx).(ksi)}.x0)}.pl).rpofrt).({(({(ny).(eta).(nx).(ksi)}.y).rpofnt).(({(ny).(eta).(nx).(ksi)}.x).rpofnt)}.pl)}.is>.{({({(ny).(eta).(nx).(ksi)}.y0).({(ny).(eta).(nx).(ksi)}.x0)}.satz155a).({(({(ny).(eta).(nx).(ksi)}.y).rpofnt).(({(ny).(eta).(nx).(ksi)}.x).rpofnt)}.pl).(({({(ny).(eta).(nx).(ksi)}.y0).({(ny).(eta).(nx).(ksi)}.x0)}.pl).rpofrt).(cut)}.symis Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100