Safe Haskell | None |
---|---|
Language | Haskell2010 |
Localization formula for the dual class from:
L. M. Feher, A. Nemethi, R. Rimanyi: Coincident root loci of binary forms; Michigan Math. J. Volume 54, Issue 2 (2006), 375--392.
Note: This formula is in the form of rational function (as opposed to
a polynomial). Since we don't have polynomial factorization implemented here,
instead we evaluate it substituting different rational numbers
into alpha
and beta
, and then use Lagrange interpolation to figure
out the result (we know a priori that it is a homogenenous polynomial
in alpha
and beta
).
Synopsis
- type X = U "x"
- mkX :: Int -> X
- localizeMathematica :: Partition -> String
- localizeEval :: Fractional q => Partition -> q -> q -> q
- localizeDual :: Partition -> ZMod AB
- localizeInterpolatedQ :: Partition -> QMod X
- localizeInterpolatedZ :: Partition -> ZMod X
Documentation
localizeMathematica :: Partition -> String Source #
The localization formula as a string which Mathematica can parse
localizeEval :: Fractional q => Partition -> q -> q -> q Source #
The localization formula evaluated at given values of a
and b
localizeDual :: Partition -> ZMod AB Source #
The dual class, recovered via from the localization formula via Lagrange interpolation