Help19q:=proc(): print(`Eq57(q,k) `):end:

#Eq57(q,r,k) in Shor's paper
Eq57:=proc(q,r,k) local b:
end: