CoCoA:WLog

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

WLog

weighted list of exponents

Description

This function returns the weighted list of exponents of the leading

term of F, as determined by the first row of the weights matrix.

Thus, if all the weights are 1, this function returns the same thing as Log(F).

Example

  Use R ::= Q[x,y];
  F := x^2-y;
  WLog(F);
[2, 0]
-------------------------------
  Use R ::= Q[x,y], Weights(2,3);
  F := x^2-y;
  WLog(F);
[4, 0]
-------------------------------

Syntax

WLog(F:POLY):LIST of INT

Log

   <type>polynomial</type>