[Date Index] [Thread Index] [Author Index]
defining function over new Notation ?
I have a problem with defining new function which will use as arguments a new notation (defined by Notation.m package). That is an example: I defined: Notation[CircleTimes[x_,y_]<=>TensorProduct[x_,y_]] Now I want to define new function: HoldPattern[Funct[CircleTimes[x_,y_]]:=CircleTimes[Funct[x],Funct[y]], But now ?Funct will give me HoldPattern[Funct[TensorProduct[x_,y_]]:=TensorProduct[Funct[x],Funct[y]] and my input in the form "CircleTimes" will not be evaaluated by "Funct"(since pattern will not match). Could I still define my function preserving my notation?