cjdoris / exactpadics Goto Github PK

View Code? Open in Web Editor NEW

0.0 3.0 0.0 1.23 MB

A Magma package for exact p-adic computation

Home Page: https://cjdoris.github.io/ExactpAdics

License: GNU General Public License v3.0

magma math local-fields p-adics number-theory

exactpadics's People

Contributors

Watchers

exactpadics's Issues

Factorization: Insufficient prec in Round Four main loop

Factorization(
    f: (1 + O($.1))*$.1^40 + ($.1^3 + O($.1^4))*$.1^39 + ($.1^-11 +...
)
ExactpAdics_ExecutePrecisionStrategy(
    cb: function(pr) ... end function,
    strategy: [* 100, <limit, Infinity>, <randomize, true>, <double> *]
)
[/home/haluk/ExactpAdics/Factorization.mag:56](
    pr: 382
)
Factorization: Insufficient prec in Round Four main loop

Warning (get_approx): Field not known to required precision.

If you get a message like this:

Warning (get_approx): Field not known to required precision. Can apply workaround: 23028, Infinity except (0->20694, 1->20694, 2->20694)
Note: you can suppress future warnings with ExactpAdics_SetWarningAction("get_approx", "Ignore")

then the code has run into a bug which, as far as I can tell, is due to an issue with Magma's arbitrary-precision p-adic fields. It can be worked around, but potentially with some performace penalty, which is why it is only a warning. As the message says, you can use ExactpAdics_SetWarningAction to suppress this message.

Factorization hangs

Occasionally Factorization hangs. It appears to always be an issue in Magma's own Factorization routine, which sometimes gets into an infinite loop.

Recommend Projects