With loading the file todo_parametrize/todo_parametrize.rr the function paramerize is installed. The function finds a parametric expression of a given rational curve. As to details, see See section `' in A package for algebraic curves (in Japanese).

[1205] load("todo_parametrize/todo_parametrize.rr");
1
[1425] parametrize(y^2-x^3);
[155*t^2+20*t+1,720*t^4+1044*t^3+580*t^2,155*t^4+20*t^3+t^2,(-x)/(y)]
[1426] parametrize(y^2+x^3);
[-t,1,t^3,(-x)/(y)]

[[taji_alc]]

taji_alc

With loading the file taji_alc.rr functions for algebraic local cohomology groups in one variable are imported.

import("taji_alc.rr");
taji_alc.laurent_expansion(x,(x-1)^3);

Manual and papers which are not written in texinfo.

Links to manuals and papers related to files and commands in asir-contrib are at OpenXM documents.

Go to the first, previous, next, last section, table of contents.