{"id":21490483,"url":"https://github.com/image357/boundedfrombelow","last_synced_at":"2026-02-02T21:46:24.546Z","repository":{"id":93290115,"uuid":"107678731","full_name":"image357/BoundedFromBelow","owner":"image357","description":"Mathematica package to check boundedness of general Higgs potentials.","archived":false,"fork":false,"pushed_at":"2020-11-28T12:13:27.000Z","size":40,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-07-09T05:03:45.929Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Mathematica","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/image357.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-10-20T13:02:49.000Z","updated_at":"2024-08-31T09:29:44.000Z","dependencies_parsed_at":"2023-08-25T10:33:22.302Z","dependency_job_id":null,"html_url":"https://github.com/image357/BoundedFromBelow","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/image357/BoundedFromBelow","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/image357%2FBoundedFromBelow","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/image357%2FBoundedFromBelow/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/image357%2FBoundedFromBelow/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/image357%2FBoundedFromBelow/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/image357","download_url":"https://codeload.github.com/image357/BoundedFromBelow/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/image357%2FBoundedFromBelow/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29021031,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-02T18:51:31.335Z","status":"ssl_error","status_checked_at":"2026-02-02T18:49:20.777Z","response_time":58,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5: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":[],"created_at":"2024-11-23T14:38:07.843Z","updated_at":"2026-02-02T21:46:24.525Z","avatar_url":"https://github.com/image357.png","language":"Mathematica","funding_links":[],"categories":[],"sub_categories":[],"readme":"# BFB - BoundedFromBelow\nMathematica package to check boundedness of general Higgs potentials.\n\n\n# Publications\n* [https://arxiv.org/abs/1802.07976](https://arxiv.org/abs/1802.07976)\n* [DOI: 10.1140/epjc/s10052-018-5893-y](https://doi.org/10.1140/epjc/s10052-018-5893-y)\n* [Thesis](http://www.teco.edu/~koepke/mastersthesis.pdf) ([alternative upload](https://www.dropbox.com/s/py3c28ilpisphwb/Mastersthesis.pdf?dl=0))\n\n\n# Prerequisites\n1) Mathematica\n\n   BFB is a Mathematica package and was tested on Mathematica version 11. It should work for any recent version, however, older versions may not be supported due to the lack of constructs like associations.\n\n2) Macaulay2\n\n   For the calculation of resultants BFB currently needs a different computer algebra system called Macaulay2, which was designed especially for problems in algebraic geometry.\n   You can get Macaulay2 from one of the following urls:\n   \n   http://www2.macaulay2.com/Macaulay2/\n   \n   https://faculty.math.illinois.edu/Macaulay2/\n   \n   https://github.com/Macaulay2/M2\n   \n   BFB was tested on version 1.6, however any more recent version should work, too.\n\n3) Resultants (Macaulay2 package)\n\n   Some distributions of Macaulay2 don't contain all optional packages.\n   You can test for the package `Resultants` by calling the M2 interpreter and loading the package.\n   ```bash\n   \u003e M2\n   Macaulay2, version 1.6\n   with packages: ConwayPolynomials, Elimination, IntegralClosure, LLLBases,\n                  PrimaryDecomposition, ReesAlgebra, TangentCone\n   i1 : loadPackage \"Resultants\"\n   o1 = Resultants\n   o1 : Package\n   i2 :\n   ```\n   \n   If you don't have the package installed you can get it from\n   \n   https://faculty.math.illinois.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Resultants/html/\n   \n   **WARNING: Adjust the Macaulay2 version in this link according to the currently stable version!**\n   \n   You have to put the `Resultants.m2` file into the directory\n   ```\n   share/Macaulay2\n   ```\n   of your Macaulay2 installation.\n   If you have a system wide installation this can be one of the two directories\n   ```\n   /usr/share/Macaulay2\n   /usr/local/share/Macaulay2\n   ```\n   \n4) Cygwin (optional)\n\n   BFB wasn't tested on Windows environments, however you might want to use a compatiblilty layer like Cygwin.\n   You can get it from\n   \n   https://www.cygwin.com/\n   \n   Make sure to call the Mathematica kernel from within Cygwin.\n\n\n# Install\nTo install BFB download the whole repository as a .zip file or use\n```bash\ngit clone https://github.com/image357/BoundedFromBelow.git\n```\nin your download directory of choice.\nBefore you can start using BFB, you have to modify the file `config.m` to point to the binary of Macaulay2.\nIf you have a system wide installation then Macaulay2 is probably in your PATH variable.\n```\nMacaulay2Binary = \"M2\";\n```\nIf not use\n```\nMacaulay2Binary = \"/\u003cpath to Macaulay2\u003e/bin/M2\";\n```\n\n\n# Usage\nOnce you have installed BFB you can simply load it into Mathematica via\n```\nGet[\"/\u003cpath to download directory\u003e/BFB.m\"];\n```\nTo see the error log, capture stderr of your Mathematica kernel, i.e. in your terminal of choice type\n```bash\nmathematica\n```\nand run your notebooks as usual.\n\nThere are currently two top-level functions.\nArguments in brackets are optional.\n## GetResultant\nCalculates the resultant of a given system of homogeneous polynomials.\n\nSyntax:\n```\nGetResultant[polynomials, variables, parameters, (options)]\n```\n\n## PositivityTest\nTests a given Higgs potential for postive (semi)definiteness on large field values.\n\nSyntax:\n```\nPositivityTest[potential, variables, (parameters), (options)]\n```\n\n## Example Notebook\nAs a starting point you can have a look at `Test.nb`.  \nAlso, consider reading through the [open](https://github.com/image357/BoundedFromBelow/issues) and [closed](https://github.com/image357/BoundedFromBelow/issues?q=is%3Aissue+is%3Aclosed) issues for some useful examples and discussions.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimage357%2Fboundedfrombelow","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimage357%2Fboundedfrombelow","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimage357%2Fboundedfrombelow/lists"}