cjdoris / exactpadics Goto Github PK
View Code? Open in Web Editor NEWA Magma package for exact p-adic computation
Home Page: https://cjdoris.github.io/ExactpAdics
License: GNU General Public License v3.0
A Magma package for exact p-adic computation
Home Page: https://cjdoris.github.io/ExactpAdics
License: GNU General Public License v3.0
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
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.
Occasionally Factorization
hangs. It appears to always be an issue in Magma's own Factorization
routine, which sometimes gets into an infinite loop.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.