Data.Number.Flint.Fmpz.MPoly.Factor

Factorisation of multivariate polynomials over the integers

Types

data FmpzMPolyFactor

Constructors

FmpzMPolyFactor !(ForeignPtr CFmpzMPolyFactor)

data CFmpzMPolyFactor

Constructors

CFmpzMPolyFactor (Ptr CFmpz) (Ptr CFmpz) (Ptr CFmpzMPoly) (Ptr CFmpz) CLong CLong

Instances

Storable CFmpzMPolyFactor

Defined in Data.Number.Flint.Fmpz.MPoly.Factor.FFI

Methods

sizeOf :: CFmpzMPolyFactor -> Int

alignment :: CFmpzMPolyFactor -> Int

peekElemOff :: Ptr CFmpzMPolyFactor -> Int -> IO CFmpzMPolyFactor

pokeElemOff :: Ptr CFmpzMPolyFactor -> Int -> CFmpzMPolyFactor -> IO ()

peekByteOff :: Ptr b -> Int -> IO CFmpzMPolyFactor

pokeByteOff :: Ptr b -> Int -> CFmpzMPolyFactor -> IO ()

peek :: Ptr CFmpzMPolyFactor -> IO CFmpzMPolyFactor

poke :: Ptr CFmpzMPolyFactor -> CFmpzMPolyFactor -> IO ()

newFmpzMPolyFactor :: FmpzMPolyCtx -> IO FmpzMPolyFactor

withFmpzMPolyFactor :: FmpzMPolyFactor -> (Ptr CFmpzMPolyFactor -> IO a) -> IO (FmpzMPolyFactor, a)

Memory management

fmpz_mpoly_factor_init :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_init f ctx

Initialise f.

fmpz_mpoly_factor_clear :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_clear f ctx

Clear f.

Basic manipulation

fmpz_mpoly_factor_swap :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_swap f g ctx

Efficiently swap f and g.

fmpz_mpoly_factor_length :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO CLong

fmpz_mpoly_factor_length f ctx

Return the length of the product in f.

fmpz_mpoly_factor_get_constant_fmpz :: Ptr CFmpz -> Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_get_constant_fmpz c f ctx

Set \(c\) to the constant of f.

fmpz_mpoly_factor_get_base :: Ptr CFmpzMPoly -> Ptr CFmpzMPolyFactor -> CLong -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_get_base B f i ctx

Set (resp. swap) B to (resp. with) the base of the term of index \(i\) in A.

fmpz_mpoly_factor_get_exp_si :: Ptr CFmpzMPolyFactor -> CLong -> Ptr CFmpzMPolyCtx -> IO CLong

fmpz_mpoly_factor_get_exp_si f i ctx

Return the exponent of the term of index \(i\) in A. It is assumed to fit an slong.

fmpz_mpoly_factor_sort :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPolyCtx -> IO ()

fmpz_mpoly_factor_sort f ctx

Sort the product of f first by exponent and then by base.

Factorisation

fmpz_mpoly_factor_squarefree :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPoly -> Ptr CFmpzMPolyCtx -> IO CInt

fmpz_mpoly_factor_squarefree f A ctx

Set f to a factorization of A where the bases are primitive and pairwise relatively prime. If the product of all irreducible factors with a given exponent is desired, it is recommended to call fmpz_mpoly_factor_sort and then multiply the bases with the desired exponent.

fmpz_mpoly_factor :: Ptr CFmpzMPolyFactor -> Ptr CFmpzMPoly -> Ptr CFmpzMPolyCtx -> IO CInt

fmpz_mpoly_factor f A ctx

Set f to a factorization of A where the bases are irreducible.