FLINT3.7.0-dev
/

ca_equal_repr

Synopsis#include <flint/ca.h>
int ca_equal_repr(const ca_t x, const ca_t y, ca_ctx_t ctx)source

Returns whether x and y have the same representation: they belong to the same field (with structurally identical generators) and are the same rational function in it, or they are the same special value.

Unknown is treated as a value here: ca_equal_repr of Unknown and Unknown is 1. If neither operand is Unknown, equal representations imply equal values; the converse does not hold.

Cite this page

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