[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

A.2 Files of user defined functions

There are several files of user defined functions under the standard library directory. (‘/usr/local/lib/asir’ by default.) Here, we explain some of them.

fff

Univariate factorizer over large finite fields (See section Finite fields.)

gr

Groebner basis package. (See section Groebner basis computation.)

sp

Operations over algebraic numbers and factorization, Splitting fields. (See section Algebraic numbers.)

alpi
bgk
cyclic
katsura
kimura

Example polynomial sets for benchmarks of Groebner basis computation. (See section katsura, hkatsura, cyclic, hcyclic.)

defs.h

Macro definitions. (See section preprocessor.)

fctrtest

Test program of factorization of integral polynomials. It includes ‘factor.tst’ of REDUCE and several examples for large multiplicity factors. If this file is load()’ed, computation will begin immediately. You may use it as a first test whether Asir at you hand runs correctly.

fctrdata

This contains example polynomials for factorization. It includes polynomials used in ‘fctrtest’. Polynomials contained in vector Alg[] is for the algebraic factorization af(). (See section asq, af, af_noalg.)

[45] load("sp")$
[84] load("fctrdata")$
[175] cputime(1)$
0msec
[176] Alg[5];
x^9-15*x^6-87*x^3-125
0msec
[177] af(Alg[5],[newalg(Alg[5])]);
[[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x
+(3*#0^8-45*#0^5-261*#0^2),1],
[75*x^2+(-10*#0^7+175*#0^4+395*#0)*x
+(3*#0^8-45*#0^5-261*#0^2),1],
[25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],
[x^2+(#0)*x+(#0^2),1],[x+(-#0),1]]
3.600sec + gc : 1.040sec
ifplot

Examples for plotting. (See section ifplot, conplot, plot, polarplot, plotover.) Vector IS[] contains several famous algebraic curves. Variables H, D, C, S contains something like the suits (Heart, Diamond, Club, and Spade) of cards.

num

Examples of simple operations on numbers.

mat

Examples of simple operations on matrices.

ratint

Indefinite integration of rational functions. For this, files ‘sp’ and ‘gr’ is necessary. A function ratint() is defined. Its returns a rather complex result.

[0] load("gr")$
[45] load("sp")$
[84] load("ratint")$
[102] ratint(x^6/(x^5+x+1),x);
[1/2*x^2,
[[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),
161*t#2^3-23*t#2^2+15*t#2-1],
[(#1)*log(-5*x+(-21*#1-4)),21*t#1^2+3*t#1+1]]]

In this example, indefinite integral of the rational function x^6/(x^5+x+1) is computed. The result is a list which comprises two elements: The first element is the rational part of the integral; The second part is the logarithmic part of the integral. The logarithmic part is again a list which comprises finite number of elements, each of which is of form [root*log(poly),defpoly]. This pair should be interpreted to sum up the expression root*log(poly) through all root’s root’s of the defpoly. Here, poly contains root, and substitution for root is equally applied to poly. The logarithmic part in total is obtained by applying such interpretation to all element pairs in the second element of the result and then summing them up all.

primdec

Primary ideal decomposition of polynomial ideals and prime compotision of radicals over the rationals (see section primadec, primedec).

primdec_mod

Prime decomposition of radicals of polynomial ideals over finite fields (see section primedec_mod).

bfct

Computation of b-function. (see section bfunction, bfct, generic_bfct, ann, ann0).


[ << ] [ < ] [ Up ] [ > ] [ >> ]

This document was generated on October 24, 2017 using texi2html 5.0.