{"id":16706841,"url":"https://github.com/cjdoris/exactpadics","last_synced_at":"2026-01-31T17:02:20.689Z","repository":{"id":104218938,"uuid":"104871498","full_name":"cjdoris/ExactpAdics","owner":"cjdoris","description":"A Magma package for exact p-adic computation","archived":false,"fork":false,"pushed_at":"2018-11-21T15:01:20.000Z","size":1257,"stargazers_count":0,"open_issues_count":2,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-08T01:07:27.278Z","etag":null,"topics":["local-fields","magma","math","number-theory","p-adics"],"latest_commit_sha":null,"homepage":"https://cjdoris.github.io/ExactpAdics","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/cjdoris.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2017-09-26T10:34:26.000Z","updated_at":"2018-11-21T15:01:21.000Z","dependencies_parsed_at":null,"dependency_job_id":"f15facf6-7510-411d-98d8-069c47415ab7","html_url":"https://github.com/cjdoris/ExactpAdics","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/cjdoris/ExactpAdics","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cjdoris%2FExactpAdics","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cjdoris%2FExactpAdics/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cjdoris%2FExactpAdics/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cjdoris%2FExactpAdics/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/cjdoris","download_url":"https://codeload.github.com/cjdoris/ExactpAdics/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cjdoris%2FExactpAdics/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28948356,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-31T14:26:55.697Z","status":"ssl_error","status_checked_at":"2026-01-31T14:26:52.545Z","response_time":128,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["local-fields","magma","math","number-theory","p-adics"],"created_at":"2024-10-12T19:36:34.765Z","updated_at":"2026-01-31T17:02:20.683Z","avatar_url":"https://github.com/cjdoris.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# ExactpAdics\n\nA package for exact p-adic computation for the [Magma computer algebra system](http://magma.maths.usyd.edu.au/magma).\n\nThe aim of this package is to provide the user with a higher-level interface to computing with p-adics, making it easier to perform everyday computations and coding more complex algorithms.\n\nSee the [user manual](https://cjdoris.github.io/ExactpAdics). The rationale for the design of the package and an overview of the internal structure can be found in [this article](https://arxiv.org/abs/1805.09794).\n\nThe package is [hosted here on GitHub](https://github.com/cjdoris/ExactpAdics) and can be [downloaded from here](https://github.com/cjdoris/ExactpAdics/releases/latest). The [user manual is here](https://cjdoris.github.io/ExactpAdics).\n\nPlease direct any comments, queries or complaints to [the GitHub issue tracker](https://github.com/cjdoris/ExactpAdics/issues).\n\n## Changelog\n\n```\n! Bug fix (no change to user interface, increment patch version)\n~ Improvement (no change to user interface, increment patch version)\n+ New feature (backwards-compatible change to user interface, increment minor version)\n- Remove (backwards-incompatible change to user interface, increment major version)\n```\n\n### v1.2.1\n```\n! Fixes some bugs in `Factorization` code.\n```\n\n### v1.2.0\n```\n+ Adds `RelativeApproximation` and `BaselineApproximation` intrinsics, `_Lazy` versions and `Weak` versions (which are capped by the absolute precision)\n+ Adds an implementation of the \"OM\" factoring algorithm, which is now the default algorithm used by `Factorization` and `Roots`. These are directly accessible as `ExactpAdics_Factorization` and `ExactpAdics_Roots`, with versions for `RngUPolElt[FldPad]` available too. The original behaviour, wrapping Magma's implementation, is available by passing `Alg:=\"Builtin\"`, or calling `Builtin_Factorization` or `Builtin_Roots` directly.\n! `ExactpAdicField(L :: FldPad)` not working when `L` has a finite precision\n! Bug in `ShiftValuation`, caused by `R.1` not being to full precision where `R::RngUPol[FldPad]` (a Magma feature/bug)\n```\n\n### v1.1.0\n```\n+ Adds abstract types `StrPadExact`, `PadExactElt` and `Val_PadExactElt`, from which most other types are now derived, and inherit a common interface.\n+ Adds types `SetCart_PadExact`, `Tup_PadExact` and `Val_Tup_PadExact` for representing tuples of p-adic objects.\n+ Adds intrinsic NewtonPolygonFactorization.\n+ Adds intrinsic IsHenselLiftable (for univariate polynomial factorizations).\n+ Adds Support parameter to NewtonPolygon.\n+ Adds parameter UseNP to Roots and Factorization.\n+ Adds intrinsic AreAllWeaklyZero.\n~ Improves IsHenselLiftable (for multivariate roots).\n! Minor bug fixes.\n```\n\n### v1.0.2\n```\n! Internal function `assignResidueClassFieldNames` now works with fields of degree 1.\n~ `Factorization` is easier to debug.\n~ Removes a hacky `try`-`catch` block, which are slow to execute in Magma.\n~ Warnings are now controlled by intrinsics, their behaviour can be altered via `ExactpAdics_SetWarningAction`.\n```\n\n### v1.0.1\n```\n! `ExactCompletion` precision errors\n! Obsolete calls to `ExactpAdics_ExecutePrecisionStrategy`\n! Minor bug in `IsHenselLiftable`\n! Tweak to the update mechanism to catch under-precise updates in-place: The `Update` intrinsic now checks if the field `update_expecting_apr` is set, and if so asserts that the absolute precision is at least this; the dependency-checking framework sets this field whenever an element is about to be updated.\n```\n\n### v1.0.0\nInitial release\n\n## Developer notes\n\n### Common code\n\nThis and the new `ExactpAdics2` share some common code from [the `ExactpAdicsCommon` repository](https://github.com/cjdoris/ExactpAdicsCommon). The code there should be periodically copied into the `common` directory (no fancy git merging currently).\n\n### Documentation\n\nDocumentation is generated using [magdoc](https://cjdoris.github.io/magdoc) with the following command:\n\n```\nmagdoc.py -o docs Generics.mag Getter.mag ExactpAdics.mag Factorization.mag Factorization_new.mag Val_FldPadElt.mag Val_RngUPolElt_FldPad.mag Val_RngMPolElt_FldPad.mag Val_Tup_PadExact.mag PrecisionStrategy.mag Tuples.mag DefaultAssociativeArray.mag State.mag Promotion.mag LowerBound.mag MultivariatePolynomials.mag\n```\n\n## License\n\nCopyright (C) 2018 Christopher Doris\n\nExactpAdics is free software: you can redistribute it and/or modify\nit under the terms of the GNU General Public License as published by\nthe Free Software Foundation, either version 3 of the License, or\n(at your option) any later version.\n\nExactpAdics is distributed in the hope that it will be useful,\nbut WITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\nGNU General Public License for more details.\n\nYou should have received a copy of the GNU General Public License\nalong with ExactpAdics.  If not, see http://www.gnu.org/licenses/.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcjdoris%2Fexactpadics","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcjdoris%2Fexactpadics","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcjdoris%2Fexactpadics/lists"}