Function curl

python/utils.py:61–67

(func)

def curl(func):
    if getattr(func, "derivname", None) == "curl":
        return func.Deriv()
    add = func.Operator("curl")
    if add:
        return add
    raise Exception("cannot form curl")    

def div(func):
    if func.derivname == "div":