[back] [prev] [next] [index] [root]

<p>&nbsp;<p>
<hr noshade size="5">
<h2><a name="Valuation"></a>
Valuation
</h2>

missing shortdoc

<p><p>

<h3>
Syntax:
</h3>
<pre>d := Valuation( [P,] a);
SHOTDOC Computes the valuation of the argument at a prime (if possible).</pre>

<p>

<table>
<tr>
<td>integer</td>
<td><pre>  d  </pre></td>
<td></td>
</tr>
<tr>
<td>ideal | integer | alff order ideal</td>
<td><pre>  P  </pre></td>
<td>must be prime.</td>
</tr>
<tr>
<td>ideal | algebraic element | integer</td>
<td><pre>  a  </pre></td>
<td>to valuate.</td>
</tr>
<tr>
<td>alff order ideal</td>
<td><pre>  a  </pre></td>
<td>to valuate.</td>
</tr>
</table>

<p>


<h3>
Description:
</h3>
Returns the valuation of a p-adic number, an integer, an
algebraic element,
an (fractional) ideal at a prime ideal, a rational prime or an
alff order ideal at a prime ideal.
If the first argument is an integer then the second argument
must also be an integer.
For alff order ideals they have to be defined in the same order
which must be maximal.
This function calls EltValuation, IdealValuation, IntValuation,
or AlffIdealValuation.

<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>
Computation of the valuation of an algebraic number. 
<pre>

kash> O := OrderMaximal(Order(Z, 2, 3));
Generating polynomial: x^2 - 3
Discriminant: 12 

kash> L := Factor(2*O);
[ [ <2, [1, 1]>, 2 ] ]
kash> P := L[1][1];
<2, [1, 1]>
kash> Valuation(P, Elt(O, 2));
2
kash> Valuation(P, Elt(O, [1, 1]));
> 1

</pre>

<p>


<hr>

<p>
<a href="../kashref.html"><- back</a>[back] [prev] [next] [index] [root]