NZMATH  1.2.0
About: NZMATH is a Python based number theory oriented calculation system.
  Fossies Dox: NZMATH-1.2.0.tar.gz  ("inofficial" and yet experimental doxygen-generated source code documentation)  

nzmath.poly.hensel.HenselLiftPair Class Reference
Inheritance diagram for nzmath.poly.hensel.HenselLiftPair:
[legend]
Collaboration diagram for nzmath.poly.hensel.HenselLiftPair:
[legend]

Public Member Functions

def __init__ (self, target, factor1, factor2, ladder1, ladder2, p, q=None)
 
def from_factors (cls, target, factor1, factor2, p)
 
def lift_factors (self)
 
def lift_ladder (self)
 
def lift (self)
 

Public Attributes

 f
 
 a1
 
 a2
 
 u1
 
 u2
 
 p
 
 q
 

Properties

 factors = property(_get_factors)
 

Private Member Functions

def _get_factors (self)
 

Detailed Description

A class represents integer polynomial pair which will be lifted by
Hensel's method.

Definition at line 67 of file hensel.py.

Constructor & Destructor Documentation

◆ __init__()

def nzmath.poly.hensel.HenselLiftPair.__init__ (   self,
  target,
  factor1,
  factor2,
  ladder1,
  ladder2,
  p,
  q = None 
)
HenselLiftPair(f, a1, a2, u1, u2, p, q)

The parameters satisfy that:
  a1 and a2 are monic,
  f == a1*a2 (mod q) and
  a1*u1 + a2*u2 == 1 (mod p),
with positive integers p dividing q.

If p==q, q can be omit from the argument.

Definition at line 72 of file hensel.py.

Member Function Documentation

◆ _get_factors()

def nzmath.poly.hensel.HenselLiftPair._get_factors (   self)
private

◆ from_factors()

def nzmath.poly.hensel.HenselLiftPair.from_factors (   cls,
  target,
  factor1,
  factor2,
  p 
)
Create and return an instance of HenselLiftPair.

HenselLiftPair.from_factors(f, a1, a2, p)

The parameters satisfy that:
  f == a1*a2 (mod p)
with a prime number p.

Definition at line 96 of file hensel.py.

References nzmath.poly.hensel._extgcdp().

◆ lift()

def nzmath.poly.hensel.HenselLiftPair.lift (   self)

◆ lift_factors()

def nzmath.poly.hensel.HenselLiftPair.lift_factors (   self)

◆ lift_ladder()

def nzmath.poly.hensel.HenselLiftPair.lift_ladder (   self)

Member Data Documentation

◆ a1

◆ a2

◆ f

◆ p

◆ q

◆ u1

nzmath.poly.hensel.HenselLiftPair.u1

◆ u2

nzmath.poly.hensel.HenselLiftPair.u2

Property Documentation

◆ factors


The documentation for this class was generated from the following file: