CVS log for OpenXM_contrib2/asir2000/parse/parse.h

Up to [local] / OpenXM_contrib2 / asir2000 / parse

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.59 / (download) - annotate - [select for diffs], Sun Oct 4 03:14:09 2020 UTC (4 years, 2 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.58: +68 -2 lines
Diff to previous 1.58 (colored)

Added function prototypes.

Revision 1.58 / (download) - annotate - [select for diffs], Tue Nov 12 10:52:05 2019 UTC (5 years, 1 month ago) by kondoh
Branch: MAIN
Changes since 1.57: +15 -3 lines
Diff to previous 1.57 (colored)

Added elementary functions for interval arithmetic using mpfi

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

Changed a tab to two space charaters.

Revision 1.56 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:21 2017 UTC (7 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.55: +2 -29 lines
Diff to previous 1.55 (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.55 / (download) - annotate - [select for diffs], Fri Aug 14 13:51:56 2015 UTC (9 years, 4 months ago) by fujimoto
Branch: MAIN
Changes since 1.54: +3 -3 lines
Diff to previous 1.54 (colored)

Removed unneeded 'defined(__MINGW64__)'.

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

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

Revision 1.53 / (download) - annotate - [select for diffs], Tue Nov 5 11:36:58 2013 UTC (11 years, 1 month ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.52: +1 -2 lines
Diff to previous 1.52 (colored)

Changed some declarations for MacOSX 10.9.

Revision 1.52 / (download) - annotate - [select for diffs], Tue Jun 18 18:19:44 2013 UTC (11 years, 6 months ago) by ohara
Branch: MAIN
Changes since 1.51: +1 -2 lines
Diff to previous 1.51 (colored)

The definition of a static variable "old_int" is removed because it is used in only parse/glob.c

Revision 1.51 / (download) - annotate - [select for diffs], Thu Jun 13 17:57:21 2013 UTC (11 years, 6 months ago) by ohara
Branch: MAIN
Changes since 1.50: +1 -4 lines
Diff to previous 1.50 (colored)

Removed repeated function declarations.

Revision 1.50 / (download) - annotate - [select for diffs], Thu Jun 13 07:45:28 2013 UTC (11 years, 6 months ago) by ohara
Branch: MAIN
Changes since 1.49: +2 -2 lines
Diff to previous 1.49 (colored)

Fixed a builtin function heap() in Windows x64.

Revision 1.49 / (download) - annotate - [select for diffs], Tue Nov 18 20:52:47 2008 UTC (16 years, 1 month ago) by ohara
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_2_3_12
Changes since 1.48: +2 -1 lines
Diff to previous 1.48 (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.48 / (download) - annotate - [select for diffs], Mon Sep 1 06:20:33 2008 UTC (16 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.47: +2 -2 lines
Diff to previous 1.47 (colored)

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

Revision 1.47 / (download) - annotate - [select for diffs], Mon Apr 30 02:14:34 2007 UTC (17 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.46: +2 -2 lines
Diff to previous 1.46 (colored)

Fixed an inconsistency related to setjmp/sigsetjmp.

Revision 1.46 / (download) - annotate - [select for diffs], Wed Mar 22 09:40:03 2006 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.45: +2 -2 lines
Diff to previous 1.45 (colored)

Fixed a bug in the definition of oFNODE.

Revision 1.45 / (download) - annotate - [select for diffs], Wed Feb 8 02:11:19 2006 UTC (18 years, 10 months ago) by noro
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.44: +3 -1 lines
Diff to previous 1.44 (colored)

Corrected the behavior of load operation.
(CAUTION: may contain critical bugs.)

Revision 1.44 / (download) - annotate - [select for diffs], Sat Dec 10 14:14:16 2005 UTC (19 years ago) by noro
Branch: MAIN
Changes since 1.43: +2 -2 lines
Diff to previous 1.43 (colored)

Implementing matching functions in C.

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

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

Revision 1.42 / (download) - annotate - [select for diffs], Fri Nov 4 07:03:38 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.41: +2 -2 lines
Diff to previous 1.41 (colored)

Fixed some bugs related to rewriting.

Revision 1.41 / (download) - annotate - [select for diffs], Wed Nov 2 05:18:42 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.40: +5 -3 lines
Diff to previous 1.40 (colored)

Fixed a bug in fnode_normalize_pwr().

Revision 1.40 / (download) - annotate - [select for diffs], Wed Oct 26 07:33:03 2005 UTC (19 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.39: +19 -11 lines
Diff to previous 1.39 (colored)

Added a new category of programming variables for representing patterns:
_X, _Y etc.

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

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

Revision 1.38 / (download) - annotate - [select for diffs], Wed Sep 21 23:39:32 2005 UTC (19 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.37: +8 -13 lines
Diff to previous 1.37 (colored)

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

Revision 1.37 / (download) - annotate - [select for diffs], Tue Sep 13 06:40:46 2005 UTC (19 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.36: +2 -2 lines
Diff to previous 1.36 (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.36 / (download) - annotate - [select for diffs], Thu Aug 25 18:59:11 2005 UTC (19 years, 4 months ago) by ohara
Branch: MAIN
Changes since 1.35: +2 -1 lines
Diff to previous 1.35 (colored)

A builtin function `dp_ptozp' allows an option factor. (cf. ptozp)

Example:
[1] P=(x+1/2)*<<1>>+3;
(x+1/2)*<<1>>+(3)*<<0>>
[2] dp_ptozp(P);
(2*x+1)*<<1>>+(6)*<<0>>
[3] dp_ptozp(P|factor=1);
[(2*x+1)*<<1>>+(6)*<<0>>,1/2]

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

Subsititution to a static variable should work correctly.

Revision 1.34 / (download) - annotate - [select for diffs], Wed Jan 12 10:38:07 2005 UTC (19 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.33: +2 -2 lines
Diff to previous 1.33 (colored)

Improving generic_gauss_elim_hensel.

Revision 1.33 / (download) - annotate - [select for diffs], Wed Oct 27 08:21:47 2004 UTC (20 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.32: +2 -1 lines
Diff to previous 1.32 (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.32 / (download) - annotate - [select for diffs], Tue Jul 13 07:59:54 2004 UTC (20 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.31: +6 -1 lines
Diff to previous 1.31 (colored)

Added quote_to_funargs(), funargs_to_quote().

An example:

ctrl("print_quote",1);
Q=quote((x+1)+(x+2));
/* FA = [fid,op,arg1,arg2] */
FA=quote_to_funargs(Q);
/* remove () from arg1 */
FA2=quote_to_funargs(FA[2])[1];
/* remove () from arg2 */
FA3=quote_to_funargs(FA[3])[1];
/* [fid,op,newarg1,newarg2] => quote */
funargs_to_quote([FA[0],FA[1],FA2,FA3]);

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

Adding a machinery to rewrite a QUOTE.

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

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

Revision 1.29 / (download) - annotate - [select for diffs], Thu Mar 4 01:41:32 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.28: +2 -2 lines
Diff to previous 1.28 (colored)

Corrected DP->quote conversion.
Added TeXsymbol manipulation.

Revision 1.28 / (download) - annotate - [select for diffs], Wed Mar 3 09:25:30 2004 UTC (20 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.27: +2 -2 lines
Diff to previous 1.27 (colored)

Implementing quotetotex().

Revision 1.27 / (download) - annotate - [select for diffs], Mon Feb 9 08:23:30 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26 (colored)

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

Revision 1.26 / (download) - annotate - [select for diffs], Thu Feb 5 08:28:54 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.25: +2 -2 lines
Diff to previous 1.25 (colored)

Added a new order type (composite order).

Revision 1.25 / (download) - annotate - [select for diffs], Wed Feb 4 07:42:07 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.24: +2 -1 lines
Diff to previous 1.24 (colored)

Added a new data type "Symbol".

Revision 1.24 / (download) - annotate - [select for diffs], Tue Feb 3 23:31:58 2004 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.23: +3 -5 lines
Diff to previous 1.23 (colored)

EXPERIMENTAL: adding new feature in specifying various options to
dp_***.

Revision 1.23 / (download) - annotate - [select for diffs], Sun Oct 19 02:54:41 2003 UTC (21 years, 2 months ago) by ohara
Branch: MAIN
Changes since 1.22: +2 -1 lines
Diff to previous 1.22 (colored)

(1) Add a commond line option "-quiet" to asir.
(2) Add a key "quiet_mode" of the builtin function "ctrl".

Revision 1.22 / (download) - annotate - [select for diffs], Sat Aug 23 01:42:52 2003 UTC (21 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.21: +2 -2 lines
Diff to previous 1.21 (colored)

Fixes for gcc-3.3 (if __GNUC__ is defined, stdarg is used).

Revision 1.21 / (download) - annotate - [select for diffs], Thu Aug 21 08:05:02 2003 UTC (21 years, 4 months ago) by saito
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20 (colored)

correct for gcc3.3.2 on FreeBSD.

Revision 1.20 / (download) - annotate - [select for diffs], Fri May 16 09:34:49 2003 UTC (21 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.19: +3 -3 lines
Diff to previous 1.19 (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.19 / (download) - annotate - [select for diffs], Fri May 16 07:56:16 2003 UTC (21 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.18: +5 -4 lines
Diff to previous 1.18 (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.18 / (download) - annotate - [select for diffs], Wed May 14 06:20:12 2003 UTC (21 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.17: +57 -65 lines
Diff to previous 1.17 (colored)

'module' has been added experimentally.

Revision 1.17 / (download) - annotate - [select for diffs], Wed Apr 2 09:43:33 2003 UTC (21 years, 9 months ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.16: +2 -1 lines
Diff to previous 1.16 (colored)

The function cppname_init() will set a fullpath of cpp to cppname[].

Revision 1.16 / (download) - annotate - [select for diffs], Mon Jan 28 00:54:44 2002 UTC (22 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.15: +2 -2 lines
Diff to previous 1.15 (colored)

Added setting of weight in Groebner basis computation.
dp_set_weight(Vector) sets a weight vector.
dp_set_weight(0) clears the current setting.

Revision 1.15 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:24 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.14: +343 -5 lines
Diff to previous 1.14 (colored)

Conversion to ANSI style (not completed yet).

Revision 1.14 / (download) - annotate - [select for diffs], Wed Sep 5 09:01:28 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.13: +2 -2 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 08:52:39 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.12: +4 -1 lines
Diff to previous 1.12 (colored)

Added a function eval_variables_in_quote(F) (not yet completed).

Revision 1.12 / (download) - annotate - [select for diffs], Mon Sep 3 07:01:10 2001 UTC (23 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.11: +3 -3 lines
Diff to previous 1.11 (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.11 / (download) - annotate - [select for diffs], Tue Aug 21 01:39:39 2001 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (colored)

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

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

recmap(f,ListOrMatrixOrVector,RestOfArgs) : recursive map

Revision 1.9 / (download) - annotate - [select for diffs], Mon Jun 4 02:49:48 2001 UTC (23 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.8: +2 -2 lines
Diff to previous 1.8 (colored)

Modifications to support Mac OS X.
Note: /usr/bin/cpp of Mac OS X seems to be broken. I had to add

-D__ppc__ -D__NATURAL_ALIGNMENT__ -D__MACH__ -D__BIG_ENDIAN__ -D__APPLE__

as OPTS. Without these options imake does not work properly.

Revision 1.8 / (download) - annotate - [select for diffs], Fri Apr 20 02:34:24 2001 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7 (colored)

Added a new data type 'QUOTE' (experimental).

Revision 1.7 / (download) - annotate - [select for diffs], Fri Dec 8 06:43:11 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.6: +3 -4 lines
Diff to previous 1.6 (colored)

Restored _dp_nf(), which is still necessary for computation over Q(X).

Revision 1.6 / (download) - annotate - [select for diffs], Tue Dec 5 01:24:57 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.5: +3 -98 lines
Diff to previous 1.5 (colored)

Removed ugly '#if defined(THINK_C)'.

Revision 1.5 / (download) - annotate - [select for diffs], Thu Sep 21 09:19:27 2000 UTC (24 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: maekawa-ipv6, STABLE_1_1_3, RELEASE_1_1_3
Changes since 1.4: +6 -6 lines
Diff to previous 1.4 (colored)

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

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

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

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

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

Revision 1.2 / (download) - annotate - [select for diffs], Fri Jul 14 08:26:41 2000 UTC (24 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.1: +2 -2 lines
Diff to previous 1.1 (colored)

Added a function for verification of Groebner basis computation.
Details will be soon informed.

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Fri Dec 3 07:39:12 1999 UTC (25 years, 1 month ago) by noro
Branch: NORO
CVS Tags: RELEASE_20000124, RELEASE_1_1_2, 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 (25 years, 1 month 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.