Up to [local] / OpenXM_contrib2 / asir2000 / engine
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.55 / (download) - annotate - [select for diffs], Tue Jul 10 05:38:14 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.54: +2 -2
lines
Diff to previous 1.54 (colored) to selected 1.43 (colored)
Fixed another bug in divsdc().
Revision 1.54 / (download) - annotate - [select for diffs], Tue Jul 10 05:29:36 2018 UTC (6 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.53: +2 -2
lines
Diff to previous 1.53 (colored) to selected 1.43 (colored)
Fixed a bug in divsdc().
Revision 1.53 / (download) - annotate - [select for diffs], Thu Mar 29 01:32:51 2018 UTC (6 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.52: +2166 -2166
lines
Diff to previous 1.52 (colored) to selected 1.43 (colored)
Changed a tab to two space charaters.
Revision 1.52 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:21 2017 UTC (7 years ago) by noro
Branch: MAIN
Changes since 1.51: +379 -60
lines
Diff to previous 1.51 (colored) to selected 1.43 (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.51 / (download) - annotate - [select for diffs], Thu Sep 24 04:43:13 2015 UTC (8 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.50: +49 -1
lines
Diff to previous 1.50 (colored) to selected 1.43 (colored)
Added dp_weyl_act(): dp_weyl_act(a<<1,2>>+...,<<3,4>>)=36<<2,2>>+... etc. substr2np accepts substr2np(P,[v1,...],[a1,...]).
Revision 1.50 / (download) - annotate - [select for diffs], Fri Oct 10 09:02:25 2014 UTC (9 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.49: +14 -3
lines
Diff to previous 1.49 (colored) to selected 1.43 (colored)
Fixed a bug related to dp_set_top_weight().
Revision 1.49 / (download) - annotate - [select for diffs], Fri Sep 12 06:28:46 2014 UTC (9 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.48: +2 -2
lines
Diff to previous 1.48 (colored) to selected 1.43 (colored)
Fixed a bug in initd().
Revision 1.48 / (download) - annotate - [select for diffs], Tue Aug 19 06:35:01 2014 UTC (10 years ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.47: +54 -35
lines
Diff to previous 1.47 (colored) to selected 1.43 (colored)
dp_set_top_weight() now accepts a matrix with non-negative integer elements. (experimental)
Revision 1.47 / (download) - annotate - [select for diffs], Fri Dec 20 02:02:24 2013 UTC (10 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.46: +34 -30
lines
Diff to previous 1.46 (colored) to selected 1.43 (colored)
Modified nd_f4 and nd_f4_trace so that it partially use GMP.
Revision 1.46 / (download) - annotate - [select for diffs], Tue Nov 5 02:55:03 2013 UTC (10 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.45: +3 -3
lines
Diff to previous 1.45 (colored) to selected 1.43 (colored)
Fixed inconsistent returns in various functions which make gcc abort.
Revision 1.45 / (download) - annotate - [select for diffs], Mon Dec 17 07:20:44 2012 UTC (11 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.44: +10 -10
lines
Diff to previous 1.44 (colored) to selected 1.43 (colored)
Asir now uses gc7. In non-ox mode, SIGINT received during GC is recorded in a variable 'in_gc' and int_handler() is executed after GC. In ox mode, SIGINT received between begin_critical() and end_crtical() is simply discarded. All memory-allocation functions are wrapped in gc_risa.c: Risa_GC_malloc(), Risa_GC_realloc() etc.
Revision 1.44 / (download) - annotate - [select for diffs], Wed Mar 30 02:43:18 2011 UTC (13 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.43: +5 -11
lines
Diff to previous 1.43 (colored)
1. get_function_name() now returns the function name. 2. Added a function remove_vars() for removing indeterminates from the global indeterminate list. 3. Modified adddl() so that it can handle monomials of non-positive weights correctly.
Revision 1.43 / (download) - annotate - [selected], Mon Sep 17 12:47:45 2007 UTC (16 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_2_3_12
Changes since 1.42: +60 -1
lines
Diff to previous 1.42 (colored)
Added an experimental order specification with arbitrary weight vector. The ordering is set by calling dp_set_top_weight() followed by dp_ord().
Revision 1.42 / (download) - annotate - [select for diffs], Sun Aug 27 22:17:27 2006 UTC (18 years ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.41: +35 -1
lines
Diff to previous 1.41 (colored) to selected 1.43 (colored)
Added nbm_trest().
Revision 1.41 / (download) - annotate - [select for diffs], Tue Aug 8 02:39:17 2006 UTC (18 years ago) by noro
Branch: MAIN
Changes since 1.40: +11 -2
lines
Diff to previous 1.40 (colored) to selected 1.43 (colored)
Changed the ordering of monomials in NBP.
Revision 1.40 / (download) - annotate - [select for diffs], Sun Apr 16 00:51:13 2006 UTC (18 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.39: +39 -40
lines
Diff to previous 1.39 (colored) to selected 1.43 (colored)
NBP accepts polynomials as its coefficients.
Revision 1.39 / (download) - annotate - [select for diffs], Wed Dec 21 23:18:16 2005 UTC (18 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.38: +5 -1
lines
Diff to previous 1.38 (colored) to selected 1.43 (colored)
Added memory_conplot(), memory_plot(), which return BYTEARRAY representing bitmap.
Revision 1.38 / (download) - annotate - [select for diffs], Sun Nov 27 00:07:05 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.37: +225 -188
lines
Diff to previous 1.37 (colored) to selected 1.43 (colored)
Rewrote several functions related to NBP.
Revision 1.37 / (download) - annotate - [select for diffs], Sat Nov 26 01:28:12 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.36: +142 -7
lines
Diff to previous 1.36 (colored) to selected 1.43 (colored)
Simplifed shuffle_mul and harmonic_mul.
Revision 1.36 / (download) - annotate - [select for diffs], Fri Nov 25 07:18:32 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.35: +55 -22
lines
Diff to previous 1.35 (colored) to selected 1.43 (colored)
Added functions for dealing with NBP: nbp_ht(), nbp_hm(), nbp_hc(), nbp_rest(), nbm_hp(), nbp_rest().
Revision 1.35 / (download) - annotate - [select for diffs], Fri Nov 25 02:43:39 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.34: +2 -3
lines
Diff to previous 1.34 (colored) to selected 1.43 (colored)
harmonic_mul_nbp() now seems to work.
Revision 1.34 / (download) - annotate - [select for diffs], Thu Nov 24 08:16:03 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.33: +132 -57
lines
Diff to previous 1.33 (colored) to selected 1.43 (colored)
Adding harmonic product of NBP (incomplete).
Revision 1.33 / (download) - annotate - [select for diffs], Wed Nov 16 23:42:53 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.32: +329 -4
lines
Diff to previous 1.32 (colored) to selected 1.43 (colored)
Added an experimental implementation of bibariate non-commutative polynomial computation.
Revision 1.32 / (download) - annotate - [select for diffs], Tue Jun 15 16:14:50 2004 UTC (20 years, 2 months ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.31: +3 -1
lines
Diff to previous 1.31 (colored) to selected 1.43 (colored)
fixed bug.
Revision 1.31 / (download) - annotate - [select for diffs], Fri May 14 06:02:54 2004 UTC (20 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.30: +95 -3
lines
Diff to previous 1.30 (colored) to selected 1.43 (colored)
Added a new datatype DPV (=an element of free module). Converter : dp_ltod([p1,p2,...]) -> modvect(dp1,dp2,...) Ordering : dpv_ord(id) or dpv_ord(id,w) id : 0 or 1 or 2. w : a degree shift vector. id=0 => compare weight (with w) then compare pos (the one with the largest pos is taken) id=1 => compare weight (with w) then compare pos (the one with the smallest pos is taken) id=2 => the one with the smallest pos is taken Functions : dpv_ht, dpv_hm, dpv_hc [pos,monomial or number] is returned.
Revision 1.30 / (download) - annotate - [select for diffs], Wed Apr 14 07:27:41 2004 UTC (20 years, 4 months ago) by ohara
Branch: MAIN
Changes since 1.29: +12 -1
lines
Diff to previous 1.29 (colored) to selected 1.43 (colored)
Example: <<1,0>>+x^2 => <<1,0>>+(x^2)*<<0,0>>
Revision 1.29 / (download) - annotate - [select for diffs], Fri Mar 5 02:26:52 2004 UTC (20 years, 6 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.28: +9 -1
lines
Diff to previous 1.28 (colored) to selected 1.43 (colored)
Added error checks in create_composite_orderspec.
Revision 1.28 / (download) - annotate - [select for diffs], Thu Feb 5 08:28:53 2004 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.27: +74 -1
lines
Diff to previous 1.27 (colored) to selected 1.43 (colored)
Added a new order type (composite order).
Revision 1.27 / (download) - annotate - [select for diffs], Tue Feb 3 23:31:57 2004 UTC (20 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.26: +7 -7
lines
Diff to previous 1.26 (colored) to selected 1.43 (colored)
EXPERIMENTAL: adding new feature in specifying various options to dp_***.
Revision 1.26 / (download) - annotate - [select for diffs], Fri Aug 22 08:14:45 2003 UTC (21 years ago) by noro
Branch: MAIN
Changes since 1.25: +5 -4
lines
Diff to previous 1.25 (colored) to selected 1.43 (colored)
Fixed a bug in symb_merge.
Revision 1.25 / (download) - annotate - [select for diffs], Wed Jul 9 07:11:08 2003 UTC (21 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.24: +139 -5
lines
Diff to previous 1.24 (colored) to selected 1.43 (colored)
Implemented gebucket for modular F4 (experimental).
Revision 1.24 / (download) - annotate - [select for diffs], Thu Jun 19 07:08:19 2003 UTC (21 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.23: +151 -1
lines
Diff to previous 1.23 (colored) to selected 1.43 (colored)
Implementing improved det.
Revision 1.23 / (download) - annotate - [select for diffs], Wed May 28 07:32:32 2003 UTC (21 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.22: +71 -1
lines
Diff to previous 1.22 (colored) to selected 1.43 (colored)
Added a function for symbolic preprocessing (not yet used.)
Revision 1.22 / (download) - annotate - [select for diffs], Sat Jan 4 09:06:17 2003 UTC (21 years, 8 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.21: +8 -11
lines
Diff to previous 1.21 (colored) to selected 1.43 (colored)
Modified groebner basis related functions for implementing prime decomposition over finite fields.
Revision 1.21 / (download) - annotate - [select for diffs], Wed Jan 30 01:09:07 2002 UTC (22 years, 7 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.20: +65 -4
lines
Diff to previous 1.20 (colored) to selected 1.43 (colored)
Added some experimental term orders.
Revision 1.20 / (download) - annotate - [select for diffs], Mon Jan 28 00:54:43 2002 UTC (22 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.19: +24 -19
lines
Diff to previous 1.19 (colored) to selected 1.43 (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.19 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:11 2001 UTC (22 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.18: +42 -153
lines
Diff to previous 1.18 (colored) to selected 1.43 (colored)
Conversion to ANSI style (not completed yet).
Revision 1.18 / (download) - annotate - [select for diffs], Thu Sep 13 03:04:28 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.17: +42 -1
lines
Diff to previous 1.17 (colored) to selected 1.43 (colored)
DL's are hold separately when symb_merge is executed.
Revision 1.17 / (download) - annotate - [select for diffs], Tue Sep 4 08:48:20 2001 UTC (23 years ago) by noro
Branch: MAIN
Changes since 1.16: +3 -1
lines
Diff to previous 1.16 (colored) to selected 1.43 (colored)
Restructured dp_* functions. 1. Use of dp_gr_main, dp_nf is restricted to integral coefficient cases. 2. New generic functions dp_gr_f_main, dp_gr_f is added, which use field operations. 3. dp_lnf_f, reduction by linear base over a field is added.
Revision 1.16 / (download) - annotate - [select for diffs], Wed May 2 09:03:53 2001 UTC (23 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.15: +27 -9
lines
Diff to previous 1.15 (colored) to selected 1.43 (colored)
Added several new functions: homogeneous_part(F,[V,],D) : degree D part of F. If V is specified, the degree of V is regarded as 0. homogeneous_deg(F,[V]) : total degree of F. If V is specifiled, the degree of V is regarded as 0. Improved the converters ptod() and dtop().
Revision 1.15 / (download) - annotate - [select for diffs], Thu Mar 29 09:49:57 2001 UTC (23 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.14: +3 -2
lines
Diff to previous 1.14 (colored) to selected 1.43 (colored)
Bug fixes for functions related to small finite fields.
Revision 1.14 / (download) - annotate - [select for diffs], Wed Feb 21 07:10:18 2001 UTC (23 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.13: +4 -2
lines
Diff to previous 1.13 (colored) to selected 1.43 (colored)
Added and several functions to handle polynomials over GF(p^n) correctly.
Revision 1.13 / (download) - annotate - [select for diffs], Thu Jan 11 08:43:22 2001 UTC (23 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.12: +48 -1
lines
Diff to previous 1.12 (colored) to selected 1.43 (colored)
Added a builtin ordering for homogenized (-w,w)+ DRL, which is specified by the ordering number 11. (experimental) Added a builtin function dp_weyl_set_weight(Vect). Modified generic_bfct() so that the groebner basis is computed under 'Top=1' (only the head term is reduced) and 'NoRA=1' (mutual reduction is not done). (experimental)
Revision 1.12 / (download) - annotate - [select for diffs], Mon Dec 11 02:00:41 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.11: +26 -1
lines
Diff to previous 1.11 (colored) to selected 1.43 (colored)
Defined a new monomial ordering. (ord=10 : 'reverse elimination order') Modified 'lib/bfct' as follows. 1. bfct() now uses the trace lifting. 2. The Groebner basis check is replaced by another Groebner basis computation. (See Algorithm 11.25 in the text book in OpenXM/doc/compalg.)
Revision 1.11 / (download) - annotate - [select for diffs], Tue Dec 5 06:59:16 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.10: +15 -9
lines
Diff to previous 1.10 (colored) to selected 1.43 (colored)
Files related to distributed polynomial computation are now being restructured.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Nov 7 06:06:39 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: maekawa-ipv6
Changes since 1.9: +173 -73
lines
Diff to previous 1.9 (colored) to selected 1.43 (colored)
Enhanced the multiplication in Weyl algebra. Added and modified some new functions related to plotting. (sorry, not documented yet) ifplot(), conplot(), plot() : push the 'index' which indicates the index of the created canvas. A canvas is specified by (Id,Index), where Id is the identifier for an ox server. open_canvas(Id): create a white canvas. draw_obj(Id,Index,PointOrSegment): create a white canvas. This function also pushes the index. PointOrSegment : a list. If the length is 2, it is regarded as a point. If the length is 4, it is regarded as a line segment. clear_canvas(Id,Index): clears the canvas.
Revision 1.9 / (download) - annotate - [select for diffs], Tue Aug 22 05:04:05 2000 UTC (24 years ago) by noro
Branch: MAIN
CVS Tags: STABLE_1_1_3,
RELEASE_1_1_3
Changes since 1.8: +2 -2
lines
Diff to previous 1.8 (colored) to selected 1.43 (colored)
Sorry, the email address in the license agreement was incorrect.
Revision 1.8 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:27 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.7: +49 -1
lines
Diff to previous 1.7 (colored) to selected 1.43 (colored)
Added copyright notice and license agreement. It is mandatory to distribute Risa/Asir source codes freely.
Revision 1.7 / (download) - annotate - [select for diffs], Thu Jul 13 05:09:00 2000 UTC (24 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.6: +9 -3
lines
Diff to previous 1.6 (colored) to selected 1.43 (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.6 / (download) - annotate - [select for diffs], Tue May 30 01:35:12 2000 UTC (24 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.5: +37 -52
lines
Diff to previous 1.5 (colored) to selected 1.43 (colored)
Fixed bugs when homogenization is used for Weyl algebra computation.
Revision 1.5 / (download) - annotate - [select for diffs], Mon May 29 08:54:46 2000 UTC (24 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.4: +96 -33
lines
Diff to previous 1.4 (colored) to selected 1.43 (colored)
1. F4 array.c, gr.c (still experimental) 2. Weyl algebra dist.c, distm.c : product of monomials (weyl_mul*) Q.c : coefficients of the expansion of D^k*x^l (mkwc, mkwcm) Note that the current implementation and specification are too ad hoc. If ctrl("do_weyl",1) is executed, then all monomial operations are done in Weyl algebra. If the length of the exponent of a monomial is n=2m, then it is regarded as an element of Q<x1,...,xm,Dx1,...,Dxm>. If the length is n=2m+1, then it is a regarded as an element of Q[h]<x1,...,xm,Dx1,...,Dxm>, where h is the homogenization variable. The order specification is the same as in the commutative case, so one should use matrix order to realize natural orderings in Weyl algebra. Negative waits have not yet been supported.
Revision 1.4 / (download) - annotate - [select for diffs], Tue Apr 25 04:07:59 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.3: +25 -8
lines
Diff to previous 1.3 (colored) to selected 1.43 (colored)
monomial x polynomial was too slow for distributed poly.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Apr 13 06:01:02 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.2: +54 -1
lines
Diff to previous 1.2 (colored) to selected 1.43 (colored)
Modified functions related to F4 symbolic preprocessing Removed unnecessary (and time consuming) measurement of timings.
Revision 1.2 / (download) - annotate - [select for diffs], Wed Apr 5 08:32:17 2000 UTC (24 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.1: +113 -2
lines
Diff to previous 1.1 (colored) to selected 1.43 (colored)
A very^3 experimental implementation of Weyl algebra. example: [...] ctrl("do_weyl",1); [...] <<1,2,3,4>>*<<4,5,6,7>>; <--- (x*y^2*Dx^3*Dy^4)*(x^4*y^5*Dx^6*Dy^7) (1)*<<5,7,9,11>>+(20)*<<5,6,9,10>>+(12)*<<4,7,8,11>>+(120)*<<5,5,9,9>> +(240)*<<4,6,8,10>>+(36)*<<3,7,7,11>>+(240)*<<5,4,9,8>>+(1440)*<<4,5,8,9>> +(720)*<<3,6,7,10>>+(24)*<<2,7,6,11>>+(120)*<<5,3,9,7>>+(2880)*<<4,4,8,8>> +(4320)*<<3,5,7,9>>+(480)*<<2,6,6,10>>+(1440)*<<4,3,8,7>>+(8640)*<<3,4,7,8>> +(2880)*<<2,5,6,9>>+(4320)*<<3,3,7,7>>+(5760)*<<2,4,6,8>>+(2880)*<<2,3,6,7>> etc.
Revision 1.1 / (download) - annotate - [select for diffs], Fri Dec 3 07:39:08 1999 UTC (24 years, 9 months ago) by noro
Branch: MAIN
Diff to selected 1.43 (colored)
Initial revision