FLINT3.7.0-dev

mpoly_parse_add_terminal

Synopsis#include <flint/mpoly.h>
void mpoly_parse_add_terminal(mpoly_parse_t E, const char * s, const void * v)source

Adds the name s with value v (an element of E->R, copied). Terminals are kept sorted by decreasing length, so that the longest matching name is used.

Cite this page

The FLINT team, “mpoly_parse_add_terminal (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_parse_add_terminal.html (generated 2026-10-20).