MathGroup Archive 2004

[Date Index] [Thread Index] [Author Index]

Search the Archive

Assumption -> quadratic multivariate function

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


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,

    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


    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


  • 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
  • Next by thread: Re: Assumption -> quadratic multivariate function