CVS log for OpenXM_contrib2/asir2000/parse/eval.c

Up to [local] / OpenXM_contrib2 / asir2000 / parse

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.82 / (download) - annotate - [select for diffs], Sun Oct 4 03:14:09 2020 UTC (4 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.81: +3 -1 lines
Diff to previous 1.81 (colored)

Added function prototypes.

Revision 1.81 / (download) - annotate - [select for diffs], Tue Nov 12 10:52:05 2019 UTC (4 years, 11 months ago) by kondoh
Branch: MAIN
Changes since 1.80: +5 -1 lines
Diff to previous 1.80 (colored)

Added elementary functions for interval arithmetic using mpfi

Revision 1.80 / (download) - annotate - [select for diffs], Thu Mar 29 01:32:54 2018 UTC (6 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.79: +1398 -1398 lines
Diff to previous 1.79 (colored)

Changed a tab to two space charaters.

Revision 1.79 / (download) - annotate - [select for diffs], Wed Mar 28 05:27:22 2018 UTC (6 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.78: +5 -4 lines
Diff to previous 1.78 (colored)

1. Added x!=factorial(x) as a pure function. If x is a real number,
  It gives the value of Gamma(x+1).
2. Added abs(x) as a pure function.
3. One can use break, return and continue at the toplevel.

Revision 1.78 / (download) - annotate - [select for diffs], Tue Mar 27 06:29:19 2018 UTC (6 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.77: +4 -2 lines
Diff to previous 1.77 (colored)

If the control switch evalef is set to 1, then elementary functions
are immediately evaluated and no variables corresponding to the values
of elementary functions are appended to the variable list.

Revision 1.77 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:21 2017 UTC (7 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.76: +5 -2 lines
Diff to previous 1.76 (colored)

DP object now accepts general data type as coefficients.
Added DPM (element of a free module) and several related functions:
dpm_ltod, dpm_dtol, dpm_ht, dpm_hm, dpm_hc, dpm_nf, dpm_weyl_nf etc.
A monomial of DPM is represented as <<d0,d1,...:k>>, which
represents x0^d0*x1^d1*...*ek (ek is the k-th standard base of k[X]^n).

Revision 1.76 / (download) - annotate - [select for diffs], Tue Feb 7 08:30:31 2017 UTC (7 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.75: +2 -2 lines
Diff to previous 1.75 (colored)

Renamed reallocarray(). (reallocarray() -> asir_reallocarray())

Revision 1.75 / (download) - annotate - [select for diffs], Wed Aug 24 08:21:03 2016 UTC (8 years, 2 months ago) by ohara
Branch: MAIN
Changes since 1.74: +2 -12 lines
Diff to previous 1.74 (colored)

replaced checking recv_intr by check_intr().

Revision 1.74 / (download) - annotate - [select for diffs], Fri Aug 14 13:51:56 2015 UTC (9 years, 2 months ago) by fujimoto
Branch: MAIN
Changes since 1.73: +4 -7 lines
Diff to previous 1.73 (colored)

Removed unneeded 'defined(__MINGW64__)'.

Revision 1.73 / (download) - annotate - [select for diffs], Sat Aug 8 14:19:42 2015 UTC (9 years, 3 months ago) by fujimoto
Branch: MAIN
Changes since 1.72: +4 -1 lines
Diff to previous 1.72 (colored)

Added fflush(stderr) after fprintf(stderr,  ) for mingw32/mingw64.

Revision 1.72 / (download) - annotate - [select for diffs], Thu Aug 6 10:01:53 2015 UTC (9 years, 3 months ago) by fujimoto
Branch: MAIN
Changes since 1.71: +4 -4 lines
Diff to previous 1.71 (colored)

Added defined(__MINGW32__) and defined(__MINGW64__) for mingw32/mingw64.

Revision 1.71 / (download) - annotate - [select for diffs], Tue Aug 4 06:20:45 2015 UTC (9 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.70: +1 -10 lines
Diff to previous 1.70 (colored)

PARI is now being replaced by MPFR (GNU multiprecision floating-point reliable library).
1. eval() now calls functions in libmpfr.a.
2. PARI will be wrapped as an ox server 'ox_pari' (not yet).
Warning: Asir will not be built with interval arithmetics for a while.

Revision 1.70 / (download) - annotate - [select for diffs], Sat Aug 9 06:08:11 2014 UTC (10 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.69: +4 -5 lines
Diff to previous 1.69 (colored)

*** empty log message ***

Revision 1.69 / (download) - annotate - [select for diffs], Thu Nov 21 06:48:04 2013 UTC (10 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.68: +2 -2 lines
Diff to previous 1.68 (colored)

Fixed a bug in evalpf().

Revision 1.68 / (download) - annotate - [select for diffs], Fri Feb 18 02:54:49 2011 UTC (13 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.67: +3 -1 lines
Diff to previous 1.67 (colored)

Added an option intersect to nd_gr for computing a generating set of
the intersection of two ideals, which is not necessarily a GB.

Added a function dp_mono_reduce, which is a sub-routine for computing
the radical decomposition of a monomial ideal.

Revision 1.67 / (download) - annotate - [select for diffs], Mon May 24 01:59:52 2010 UTC (14 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.66: +3 -1 lines
Diff to previous 1.66 (colored)

Fixed a bug in eval().

Revision 1.66 / (download) - annotate - [select for diffs], Fri Apr 23 04:44:52 2010 UTC (14 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.65: +4 -1 lines
Diff to previous 1.65 (colored)

1. Added a new SM command 'SM_executeFunctionSync'.
2. Added an option 'incr=N' to nd_{gr,tr_trace,f4}.
3. Fixed a bug in eval{f,bf,bf_with_opts}.
4. Added an option 'sync=1' to ox_cmo_rpc().

Revision 1.65 / (download) - annotate - [select for diffs], Wed Mar 4 09:15:36 2009 UTC (15 years, 8 months ago) by ohara
Branch: MAIN
CVS Tags: R_1_3_1-2
Changes since 1.64: +2 -4 lines
Diff to previous 1.64 (colored)

GC_get_stack_base is replaced by GC_get_main_stack_base if GC7 is defined.

Now asir with gc7 works well on FreeBSD/amd64.

Revision 1.64 / (download) - annotate - [select for diffs], Tue Nov 18 20:52:47 2008 UTC (15 years, 11 months ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12
Changes since 1.63: +79 -1 lines
Diff to previous 1.63 (colored)

"call" accepts options.

Example:
[0] def foo() { printf("option=%a\n",getopt());}
[1] call(foo,[]|op1=x^2-1,op2="string");
option=[[op1,x^2-1],[op2,string]]

Revision 1.63 / (download) - annotate - [select for diffs], Mon Sep 1 06:20:33 2008 UTC (16 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.62: +4 -4 lines
Diff to previous 1.62 (colored)

(*F)(...) now accepts options.

Revision 1.62 / (download) - annotate - [select for diffs], Thu Dec 20 03:31:01 2007 UTC (16 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.61: +3 -1 lines
Diff to previous 1.61 (colored)

Added #if defined(GC7) for building with old GC.

Revision 1.61 / (download) - annotate - [select for diffs], Thu Nov 15 06:24:59 2007 UTC (16 years, 11 months ago) by ohara
Branch: MAIN
Changes since 1.60: +11 -3 lines
Diff to previous 1.60 (colored)

Note: GC_get_stack_base() was changed in GC-7.0.

Revision 1.60 / (download) - annotate - [select for diffs], Sat Feb 25 06:33:31 2006 UTC (18 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.59: +5 -3 lines
Diff to previous 1.59 (colored)

Fixing the error processing.

Revision 1.59 / (download) - annotate - [select for diffs], Sun Dec 11 07:21:43 2005 UTC (18 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.58: +2 -2 lines
Diff to previous 1.58 (colored)

Fixed some bugs.
Added qt_set_coef(), which sets a list of variables to be treated as
coefficients.
Added predicates : qt_is_coef(), qt_is_var().

Revision 1.58 / (download) - annotate - [select for diffs], Sun Dec 11 05:27:30 2005 UTC (18 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.57: +8 -7 lines
Diff to previous 1.57 (colored)

Fixed bugs in rewriting functions.

Revision 1.57 / (download) - annotate - [select for diffs], Sat Dec 10 14:14:15 2005 UTC (18 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.56: +27 -22 lines
Diff to previous 1.56 (colored)

Implementing matching functions in C.

Revision 1.56 / (download) - annotate - [select for diffs], Fri Dec 9 08:10:44 2005 UTC (18 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.55: +11 -5 lines
Diff to previous 1.55 (colored)

quote_xxx -> qt_xxx, nquote_xxx -> nqt_xxx (except for old functions
such as quote_to_funargs etc.)
Fixed a bug in eval_quote.
Added qt_set_ord(). Currently only a variable order can be specified.

Revision 1.55 / (download) - annotate - [select for diffs], Fri Dec 2 07:13:19 2005 UTC (18 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.54: +9 -3 lines
Diff to previous 1.54 (colored)

Action can contain a function call. (Not fully tested.)

Revision 1.54 / (download) - annotate - [select for diffs], Sun Nov 6 01:27:28 2005 UTC (19 years ago) by noro
Branch: MAIN
Changes since 1.53: +12 -4 lines
Diff to previous 1.53 (colored)

Fixed some bugs in the specification of subroutines called by the pattern matcher.

Revision 1.53 / (download) - annotate - [select for diffs], Wed Oct 19 14:09:13 2005 UTC (19 years ago) by noro
Branch: MAIN
Changes since 1.52: +3 -1 lines
Diff to previous 1.52 (colored)

Fixed a bug in fnode_to_bin().

Revision 1.52 / (download) - annotate - [select for diffs], Wed Oct 19 04:52:59 2005 UTC (19 years ago) by noro
Branch: MAIN
Changes since 1.51: +7 -2 lines
Diff to previous 1.51 (colored)

*** empty log message ***

Revision 1.51 / (download) - annotate - [select for diffs], Wed Oct 12 03:31:04 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.50: +35 -35 lines
Diff to previous 1.50 (colored)

Added quote_nomalize().

Revision 1.50 / (download) - annotate - [select for diffs], Wed Oct 5 09:39:13 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.49: +9 -2 lines
Diff to previous 1.49 (colored)

Fixed a bug in evalif().

Revision 1.49 / (download) - annotate - [select for diffs], Wed Oct 5 07:38:08 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.48: +78 -1 lines
Diff to previous 1.48 (colored)

Added quote_match_rewrite(F,Pattern,[Cond,],Action).

Example: quote_match_rewrite(`x-2*3,`X-Z*Y,`is_number(Z),`f(X,Y,Z))

In this example, is_number(Z) is evaluated and if it is non-zero,
f(X,Y,Z) is evaluated. If F does not match Pattern, a VOID type object
is returned. Action may be any expression.

Revision 1.48 / (download) - annotate - [select for diffs], Fri Sep 30 01:35:25 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.47: +10 -2 lines
Diff to previous 1.47 (colored)

Added cons operator [X|Y].
[x,y|[u,v]] = [x,y,u,v].

Revision 1.47 / (download) - annotate - [select for diffs], Thu Sep 29 08:55:26 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.46: +43 -40 lines
Diff to previous 1.46 (colored)

quote_bin_to_nary -> quote_to_nary, quote_nary_to_bin -> quote_to_bin.
Fixed some bugs in the above functions.

Revision 1.46 / (download) - annotate - [select for diffs], Wed Sep 28 08:08:34 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.45: +180 -1 lines
Diff to previous 1.45 (colored)

Added nary + and *.

Revision 1.45 / (download) - annotate - [select for diffs], Tue Sep 27 03:00:21 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.44: +73 -1 lines
Diff to previous 1.44 (colored)

Fixed a bug in flatten_quote().

Revision 1.44 / (download) - annotate - [select for diffs], Wed Sep 21 23:39:32 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.43: +68 -15 lines
Diff to previous 1.43 (colored)

Added a flag for builtin functions, which indicates a capability of
accepting quoted arguments.

Revision 1.43 / (download) - annotate - [select for diffs], Wed Sep 14 02:48:38 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.42: +20 -4 lines
Diff to previous 1.42 (colored)

Pure function attribute is dynamically set.

Revision 1.42 / (download) - annotate - [select for diffs], Tue Sep 13 06:54:22 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.41: +1 -11 lines
Diff to previous 1.41 (colored)

Removed unify(), which is useless.
quote_unify(quote(Expr),quote(Pattern)) does the same task.

Revision 1.41 / (download) - annotate - [select for diffs], Tue Sep 13 06:40:46 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.40: +19 -4 lines
Diff to previous 1.40 (colored)

Added an experimental function unify(Expr,Pattern).

unify(x+y,X+Y) return 1, and X=x, Y=y are executed.
unify(x-y,X+Y) return 0, and does nothing.

Revision 1.40 / (download) - annotate - [select for diffs], Wed Jul 27 04:35:11 2005 UTC (19 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.39: +8 -1 lines
Diff to previous 1.39 (colored)

Subsititution to a static variable should work correctly.

Revision 1.39 / (download) - annotate - [select for diffs], Sat Dec 18 03:27:17 2004 UTC (19 years, 10 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.38: +12 -4 lines
Diff to previous 1.38 (colored)

Fixed a bug in bevalf(). (Added a support for module functions.)

Revision 1.38 / (download) - annotate - [select for diffs], Mon Nov 22 04:11:36 2004 UTC (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.37: +4 -1 lines
Diff to previous 1.37 (colored)

"def" is not permitted in the secure mode.

Revision 1.37 / (download) - annotate - [select for diffs], Mon Nov 22 02:26:56 2004 UTC (19 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.36: +5 -1 lines
Diff to previous 1.36 (colored)

Added the check of secure flags in bevalf().

Revision 1.36 / (download) - annotate - [select for diffs], Wed Oct 27 08:21:47 2004 UTC (20 years ago) by noro
Branch: MAIN
Changes since 1.35: +5 -1 lines
Diff to previous 1.35 (colored)

Added functions:

set_secure_flag(fname,0|1) : if set to 1, a function fname is callable in secure mode.
set_secure_mode(0|1) : set|reset the secure mode.

Revision 1.35 / (download) - annotate - [select for diffs], Wed Jul 7 07:40:19 2004 UTC (20 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.34: +1 -3 lines
Diff to previous 1.34 (colored)

Adding a machinery to rewrite a QUOTE.

Revision 1.34 / (download) - annotate - [select for diffs], Mon Jun 21 09:05:16 2004 UTC (20 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.33: +22 -1 lines
Diff to previous 1.33 (colored)

Fixed a bug in the treatment of variable type.

Revision 1.33 / (download) - annotate - [select for diffs], Fri May 14 09:20:57 2004 UTC (20 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.32: +2 -8 lines
Diff to previous 1.32 (colored)

Modified the treatment of option.
It is set in a variable 'current_option'.
dp_ptod accepts options.

Revision 1.32 / (download) - annotate - [select for diffs], Fri Apr 30 08:25:38 2004 UTC (20 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.31: +2 -1 lines
Diff to previous 1.31 (colored)

"\r" is handled as 0xd.

Revision 1.31 / (download) - annotate - [select for diffs], Mon Feb 9 08:23:30 2004 UTC (20 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX
Changes since 1.30: +2 -1 lines
Diff to previous 1.30 (colored)

Added a function range(x,y), which generates a RANGE object.

Revision 1.30 / (download) - annotate - [select for diffs], Sat Nov 8 01:12:03 2003 UTC (21 years ago) by noro
Branch: MAIN
Changes since 1.29: +23 -3 lines
Diff to previous 1.29 (colored)

Added ltov() which converts a list to an array.

Revision 1.29 / (download) - annotate - [select for diffs], Fri May 30 00:47:24 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.28: +9 -3 lines
Diff to previous 1.28 (colored)

Global functions can be overriden in modules.
::fname() can be used to call a global function.

Revision 1.28 / (download) - annotate - [select for diffs], Sat May 24 10:42:18 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.27: +6 -16 lines
Diff to previous 1.27 (colored)

Fixed a bug in appenduf().

Revision 1.27 / (download) - annotate - [select for diffs], Tue May 20 06:15:01 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.26: +8 -1 lines
Diff to previous 1.26 (colored)

In a module,

1. The compilation will be stopped if a function is defined without declaration.
2. A function is regarded as global if it is not declared.
3. If a variable is declared to be local, the other local variables should
   also be decalared.

Revision 1.26 / (download) - annotate - [select for diffs], Sat May 17 11:47:51 2003 UTC (21 years, 5 months ago) by takayama
Branch: MAIN
Changes since 1.25: +9 -4 lines
Diff to previous 1.25 (colored)

ctrl("show_crossref",1) does not show the built-in functions.

Revision 1.25 / (download) - annotate - [select for diffs], Fri May 16 09:34:49 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.24: +46 -90 lines
Diff to previous 1.24 (colored)

Removed 'globalf'.
Added 'localf'.

By default, a function is assumed to be defined outside the module.
If it is declared as localf, or already declared in the module, the
function is assumed to be local in the module.

A swith 'show_corssref' is added to ctrl() keys. If it is set to
a nonzero value, cross references are shown during loading the file.

Revision 1.24 / (download) - annotate - [select for diffs], Fri May 16 07:56:16 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.23: +108 -16 lines
Diff to previous 1.23 (colored)

Added a declaration of global user-defined function in a module.

module xxx;
...
globalf a,b,c;
...
endmodule;

In the above, a, b, c are searched in the list of user-defined functions,
which are defined outside modules.

Revision 1.23 / (download) - annotate - [select for diffs], Wed May 14 09:18:38 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.22: +5 -1 lines
Diff to previous 1.22 (colored)

Changed the sytax of module definition:

module name;
...
...
endmodule;

In a module, a variable appearing outside functions must be declared
as an extern or a static variable.

Revision 1.22 / (download) - annotate - [select for diffs], Wed May 14 07:08:48 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.21: +41 -19 lines
Diff to previous 1.21 (colored)

Module support in debug mode, some bug fixes.

Revision 1.21 / (download) - annotate - [select for diffs], Wed May 14 06:20:12 2003 UTC (21 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.20: +106 -25 lines
Diff to previous 1.20 (colored)

'module' has been added experimentally.

Revision 1.20 / (download) - annotate - [select for diffs], Fri Feb 14 22:29:18 2003 UTC (21 years, 8 months ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.19: +4 -4 lines
Diff to previous 1.19 (colored)

Changing some MACROs and preprocessor directives:
for example, #if PARI was replaced by #if defined(PARI).

Revision 1.19 / (download) - annotate - [select for diffs], Wed Dec 11 10:54:12 2002 UTC (21 years, 11 months ago) by saito
Branch: MAIN
Changes since 1.18: +2 -2 lines
Diff to previous 1.18 (colored)

fixed.
bugfix for redhat.

Revision 1.18 / (download) - annotate - [select for diffs], Tue Dec 25 02:39:06 2001 UTC (22 years, 10 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.17: +3 -3 lines
Diff to previous 1.17 (colored)

Modifications to support cygwin.

Revision 1.17 / (download) - annotate - [select for diffs], Fri Dec 21 08:23:15 2001 UTC (22 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.16: +2 -2 lines
Diff to previous 1.16 (colored)

Ported to CYGWIN. (IPC has not yet been available.)

Revision 1.16 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:24 2001 UTC (23 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.15: +20 -61 lines
Diff to previous 1.15 (colored)

Conversion to ANSI style (not completed yet).

Revision 1.15 / (download) - annotate - [select for diffs], Thu Sep 20 04:08:21 2001 UTC (23 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.14: +3 -1 lines
Diff to previous 1.14 (colored)

Handled invalid assignments.

Revision 1.14 / (download) - annotate - [select for diffs], Wed Sep 5 09:01:28 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.13: +7 -1 lines
Diff to previous 1.13 (colored)

Unary - (minus) is newly introduced, which obsolates [b_op,-,0,a].
quote(-a) is converted into [u_op,-,[internal,a]].
In the parser, a new identifier I_MINUS is introduced.

Revision 1.13 / (download) - annotate - [select for diffs], Mon Sep 3 07:01:10 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.12: +14 -4 lines
Diff to previous 1.12 (colored)

Added a new data type for finite field : GFSN (finite extension of
a small finite field)

setmod_ff(P,N,M)  (P^N < 2^20, N*M < 2^31) : generates GF((P^N)^M)
which is realized as a quotient ring of GF(P^N)[t].

Revision 1.12 / (download) - annotate - [select for diffs], Mon Sep 3 01:04:28 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.11: +45 -7 lines
Diff to previous 1.11 (colored)

Added a code to prevent automatic exit by stack overflow (experimental).
A new data type GFSPN (finite extension of small finite field) is being
implemented.

Revision 1.11 / (download) - annotate - [select for diffs], Fri Aug 31 02:47:19 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.10: +15 -4 lines
Diff to previous 1.10 (colored)

Added a new feature in specifying options.

xxx(A,B,C,...|option_list=[["key1",value1],["key2",value2],...])

One can use a special key "option_list" to specify options by
a usual list.

Revision 1.10 / (download) - annotate - [select for diffs], Tue Aug 21 01:39:39 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.9: +5 -2 lines
Diff to previous 1.9 (colored)

Parentheses are now evalauated in eval(). That is, Parentheses remains
in a quoted expression.

Revision 1.9 / (download) - annotate - [select for diffs], Mon Aug 20 09:50:34 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.8: +67 -1 lines
Diff to previous 1.8 (colored)

recmap(f,ListOrMatrixOrVector,RestOfArgs) : recursive map

Revision 1.8 / (download) - annotate - [select for diffs], Tue Dec 5 01:24:56 2000 UTC (23 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.7: +1 -3 lines
Diff to previous 1.7 (colored)

Removed ugly '#if defined(THINK_C)'.

Revision 1.7 / (download) - annotate - [select for diffs], Fri Sep 22 06:36:43 2000 UTC (24 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: maekawa-ipv6, STABLE_1_1_3, RELEASE_1_1_3
Changes since 1.6: +7 -7 lines
Diff to previous 1.6 (colored)

One can use indices for specifying a member of structure.

example:
[5] struct afo {a,b,c};               <--- definition of structure 'afo'
0
[6] A=newstruct(afo);                 <--- construction of an 'afo'
{0,0,0}
[7] A->a = newvect(3);                <--- a vector is assigned to A->a
[ 0 0 0 ]
[8] A->a[1]=2;                        <--- 2 is assigned to A->a[1]
2
[9] A;
{[ 0 2 0 ],0,0}
[10] A->b = newstruct(afo);     <--- another 'afo' is assigned to A->b.
{0,0,0}
[11] A;
{[ 0 2 0 ],{0,0,0},0}
[12] A->b->c=newvect(3);     <--- a vector is assigned to A->b->c
[ 0 0 0 ]
[13] A->b->c[0] = newstruct(afo); <--- another 'afo' is assigned to A->b->c[0]
{0,0,0}
[14] A;
{[ 0 2 0 ],{0,0,[ {0,0,0} 0 0 ]},0}
[15] A->b->c[0]->a = newvect(2); <--- another 'afo' is assigned to A->b->...
[ 0 0 ]
[16] A->b->c[0]->a[1]=x;   <--- 'x' is assigned to A->b->c[0]->a[1]
x
[17] A;                    <--- The current A
{[ 0 2 0 ],{0,0,[ {[ 0 x ],0,0} 0 0 ]},0}
[18]

Revision 1.6 / (download) - annotate - [select for diffs], Thu Sep 21 09:19:27 2000 UTC (24 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.5: +15 -15 lines
Diff to previous 1.5 (colored)

One can use C-like structure. Details will be found in Asir users manual.

Revision 1.5 / (download) - annotate - [select for diffs], Tue Aug 22 05:04:26 2000 UTC (24 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

Sorry, the email address in the license agreement was incorrect.

Revision 1.4 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:46 2000 UTC (24 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.3: +49 -1 lines
Diff to previous 1.3 (colored)

Added copyright notice and license agreement. It is mandatory to distribute
Risa/Asir source codes freely.

Revision 1.3 / (download) - annotate - [select for diffs], Thu Jul 13 05:09:03 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.2: +5 -1 lines
Diff to previous 1.2 (colored)

I'm sorry. I have to commit too many modifications at once.

Major modifications are for optimization of modular groebner base computation.

Revision 1.2 / (download) - annotate - [select for diffs], Tue Feb 8 04:47:12 2000 UTC (24 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_1_2
Changes since 1.1: +3 -1 lines
Diff to previous 1.1 (colored)

Cleaned up source files for creating libasir*.a with various
configurations.

Added new targets in src/asir2000/Makefile

install-lib-with-pari : libasir_pari.a -> OpenXM/lib
install-lib-small : libasir.a -> OpenXM/lib
install : asir libasir_pari_X.a libasir_gc.a -> OpenXM/lib

libasir_pari_X.a requires libpari.a and X11 libraries.
libasir_pari.a requires libpari.a.
libasir.a requires nothing.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Dec 3 07:39:12 1999 UTC (24 years, 11 months ago) by noro
Branch: NORO
CVS Tags: RELEASE_20000124, ASIR2000
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

Imported asir2000 as OpenXM_contrib2/asir2000.

Revision 1.1 / (download) - annotate - [select for diffs], Fri Dec 3 07:39:12 1999 UTC (24 years, 11 months ago) by noro
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.