padicValuation -- The p-adic valuation

Synopsis

• Usage:

  v = padicValuation(p)

• Inputs:
  • p, an integer, a prime
• Outputs:
  • v, an instance of the type Valuation, p-adic valuation using prime p

Description

i1 : v = padicValuation 7;

i2 : v 98

o2 = 2

i3 : v (2/7)

o3 = -1

i4 : v 0

o4 = infinity

o4 : InfiniteNumber

i5 : v (-42)

o5 = 1

See also

• valuation -- User-defined valuation object
• Valuation -- The type of all valuations
• leadTermValuation -- The valuation defined by leading terms
• lowestTermValuation -- The valuation defined by lowest terms
• localRingValuation -- The valuation defined by a local ring.
• trivialValuation -- The trivial valuation