• To: mathgroup at smc.vnet.net
• Subject: [mg47119] Assumption -> quadratic multivariate function
• From: damir at 2d.com (Damir Herman)
• Date: Fri, 26 Mar 2004 03:56:17 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

```Hi,

Is there a way to tell Mathematica to assume that a function of more
than one variable is at most quadratic in its arguments? I do not want
to specify the variables, so in that regard I think I have two
options: to use Dt on f or partial derivatives acting on Hold[f].

For instance, approach that works for a function of one variable
(1)       f/: Dt[f, {x, 3}] = 0;
does not work for a function of two variables
(2)       f/:Dt[f, {x, 3}] = 0;
(3)       f/:Dt[f, {y,3}] = 0;
I don't understand that, because these are not conditions for a
particular x or y.

For example,

Clear[f];
SetAttributes[p, {Constant}];
Dt[f^p, {x, 4}, {y,4}]

seems to work for x only and does not care about y.

Note that Mathematica returns

In[79]:= Dt[Dt[f, {x, 3}], y]
Out[79]:= 0

however

In[80]:= Dt[f, {x,3}, y]
Out[80]:= Dt[f, {x,3}, y]

How do I make mathematica use the comutativity of these two
operations?

Thanks,

Damir

```

• Prev by Date: Re: Length of actual parameters in a function call.
• Next by Date: Re: usage / "More..."
• Previous by thread: RE: Building a list