{"id":20600463,"url":"https://github.com/edgarcosta/controlledreduction","last_synced_at":"2025-10-05T16:36:08.439Z","repository":{"id":137831898,"uuid":"101113715","full_name":"edgarcosta/controlledreduction","owner":"edgarcosta","description":"An implementation of the controlled reduction method for computing the Hasse-Weil zeta functions of smooth projective hypersurfaces over finite fields","archived":false,"fork":false,"pushed_at":"2025-04-03T15:54:51.000Z","size":235,"stargazers_count":6,"open_issues_count":4,"forks_count":3,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-04-14T04:57:55.626Z","etag":null,"topics":["arithmetic","calabi-yau-manifolds","geometry","hasse-weil-zeta-function","k3-surfaces","p-adic-cohomology","smooth-hypersurfaces"],"latest_commit_sha":null,"homepage":"https://edgarcosta.org","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/edgarcosta.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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}},"created_at":"2017-08-22T22:41:50.000Z","updated_at":"2025-04-03T15:54:54.000Z","dependencies_parsed_at":null,"dependency_job_id":"f4d86d81-f43a-42e9-a2ca-ac3ec5b137e8","html_url":"https://github.com/edgarcosta/controlledreduction","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/edgarcosta%2Fcontrolledreduction","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/edgarcosta%2Fcontrolledreduction/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/edgarcosta%2Fcontrolledreduction/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/edgarcosta%2Fcontrolledreduction/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/edgarcosta","download_url":"https://codeload.github.com/edgarcosta/controlledreduction/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248986271,"owners_count":21194024,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["arithmetic","calabi-yau-manifolds","geometry","hasse-weil-zeta-function","k3-surfaces","p-adic-cohomology","smooth-hypersurfaces"],"created_at":"2024-11-16T08:38:24.843Z","updated_at":"2025-10-05T16:36:08.313Z","avatar_url":"https://github.com/edgarcosta.png","language":"C++","readme":"# controlled-reduction\n\n## PyPI package\n\nFor a PyPI package that integrates most of controlled-reduction into SageMath, see [pycontrolledreduction](https://github.com/edgarcosta/pycontrolledreduction/).\n\n\n## Abstract\nAn implementation of the controlled reduction method for computing the\nHasse-Weil zeta functions of smooth projective hypersurfaces over finite\nfields. Explicitly, by computing a p-adic approximation of Frobenius\naction on p-adic cohomology (Monsky-Washnizter) with sufficient precision\nand then lifting its characteristic polynomial to the integers.\nAn overview of the method can be found in: \n - \"Computing zeta functions of nondegenerate projective hypersurfaces over \nfinite fields\", (under preparation) by Edgar Costa and David Harvey.\n - \"Effective computations of Hasse-Weil zeta functions\", by Edgar Costa\n\n## Dependencies\nIt majorly depends on:\n - [NTL: A Library for doing Number Theory](http://www.shoup.net/ntl/)\n - [FLINT: Fast Library for Number Theory](http://flintlib.org/)\n \nWhich depend on:\n\n - [GMP: GNU Multiple Precision Arithmetic Library](https://gmplib.org/) (for NTL and FLINT)\n - [MPIR: Multiple Precision Integers and Rationals](mpir.org) (for FLINT)\n - [MPFR: GNU Multiple Precision Floating-Point Reliably](http://www.mpfr.org/) (for FLINT)\n\nHowever, [SageMath](http://www.sagemath.org/) comes with all this libraries. \n\n\n## Installation\n\nThere are 3 options:\n\n### Using SageMath to provide the dependencies\n\n1. Figuring out where `SageMath` is installed. \nWe recommend doing this and storing in an environmental variable by doing:\n```\nSAGE_ROOT=$(sage -c \"print(SAGE_ROOT)\")\n```\nAlternatively, in Sage do `print(SAGE_ROOT)` and on the unix terminal:\n`\nSAGE_ROOT=\u003cthe line printed in Sage\u003e\n`\n\n2. Download controlled reduction\n```\ngit clone https://github.com/edgarcosta/controlledreduction.git\n```\n\n3. Change your working directory and run the configure file\n```\ncd controlledreduction \u0026\u0026 ./configure --with-ntl=$SAGE_ROOT/local\n```\n\n4. Compile everything by doing\n```\nmake\n```\n\n5. Set up the variable `$LD_LIBRARY_PATH`, so the executables can find the libraries at run time.\nOne can do this for the current terminal by doing:\n```\nexport LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SAGE_ROOT/local/lib\n```\nand for this line to be ran at the start of every session one can do\n```\necho export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SAGE_ROOT/local/lib \u003e\u003e ~/.bashrc\n```\n\n\n6. You can optionaly run some tests by doing\n```\nmake check\n```\nor check out some of the examples\n```\nbuild/examples/K3_dwork\n```\n\n### Manually specifying the path for the dependencies \n\n\n1. make sure you have the dependencies (see the source of the script `build_dependencies` if you would prefer to build them manually), if they are installed in a non-standard path, be sure to set  `$LD_LIBRARY_PATH` accordingly.\n\n2. `./configure` to generate the makefile.\n\n   To link against the libaries by SageMath it should be sufficient to run `./configure --with-ntl=\u003cSAGE_DIR\u003e/local/`.\n \n   Run `./configure --help` for more options.\n\n3. `make` to build everything\n\n4. `make check` to run some tests. \n\n\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fedgarcosta%2Fcontrolledreduction","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fedgarcosta%2Fcontrolledreduction","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fedgarcosta%2Fcontrolledreduction/lists"}