gentoo-ebuilds/dev-gap/gbnp/metadata.xml
Michael Orlitzky 83ee3d6c67
dev-gap/gbnp: new package, add 1.0.5
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-01-22 06:29:05 -05:00

32 lines
1.3 KiB
XML

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>mjo@gentoo.org</email>
</maintainer>
<maintainer type="person">
<email>frp.bissey@gmail.com</email>
<name>François Bissey</name>
</maintainer>
<maintainer type="project" proxied="proxy">
<email>proxy-maint@gentoo.org</email>
<name>Proxy Maintainers</name>
</maintainer>
<maintainer type="project">
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription lang="en">
The GBNP package provides algorithms for computing Grobner bases of
noncommutative polynomials with coefficients from a field
implemented in GAP and with respect to the "total degree first then
lexicographical" ordering. Further provided are some variations,
such as a weighted and truncated version and a tracing facility. The
word "algorithm" is to be interpreted loosely here: in general one
cannot expect such an algorithm to terminate, as it would imply
solvability of the word problem for finitely presented (semi)groups.
</longdescription>
<upstream>
<remote-id type="github">gap-packages/gbnp</remote-id>
</upstream>
</pkgmetadata>