search

plumsirawit / experimental-comp-alg

Experimental Computational Algebra using Prolog
0 stars 0 forks source link

Evaluation bug #1

Open plumsirawit opened 7 months ago

plumsirawit commented 7 months ago

image

plumsirawit commented 7 months ago

Comment: I think clpq isn't enough. We need another library, similar to clpq, that can process algebraic constraints and compute things in $\bar{K}(C)$ for a curve $C$. For example, $\frac{X^2Z}{X}$ at $[0, 1, 0]$ should be $0$ (not $\frac{0}{0}$), and $\frac{Y^2Z}{X}$ on the curve $YZ=X$ should be equivalent to $Y$.

I'm looking to implement one if needed.

plumsirawit commented 7 months ago

Looks like there is a programming paradigm called $\mathrm{CLP}(\mathcal{RT})$ involving constraint logic programming in rational terms. [CSE307 Relational Programming Lecture Notes, François Fages, 4.2.] I'll see if I could find any further information on this.