Up to [local] / OpenXM_contrib2 / asir2000 / builtin
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.74 / (download) - annotate - [select for diffs], Thu Mar 29 01:32:50 2018 UTC (6 years, 5 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.73: +2281 -2281
lines
Diff to previous 1.73 (unified)
Changed a tab to two space charaters.
Revision 1.73 / (download) - annotate - [select for diffs], Thu Aug 31 02:36:20 2017 UTC (7 years ago) by noro
Branch: MAIN
Changes since 1.72: +23 -23
lines
Diff to previous 1.72 (unified)
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.72 / (download) - annotate - [select for diffs], Mon Aug 8 07:18:10 2016 UTC (8 years ago) by noro
Branch: MAIN
Changes since 1.71: +6 -1
lines
Diff to previous 1.71 (unified)
Added a flag in dp_gr_flags() : if MaxDeg > 0 is set, then nd_gr, nd_f4, nd_gr_trace, nd_f4_trace process only spolys with total degree <= MaxDeg.
Revision 1.71 / (download) - annotate - [select for diffs], Fri Aug 14 13:51:54 2015 UTC (9 years ago) by fujimoto
Branch: MAIN
Changes since 1.70: +2 -2
lines
Diff to previous 1.70 (unified)
Removed unneeded 'defined(__MINGW64__)'.
Revision 1.70 / (download) - annotate - [select for diffs], Thu Aug 6 10:01:51 2015 UTC (9 years ago) by fujimoto
Branch: MAIN
Changes since 1.69: +2 -2
lines
Diff to previous 1.69 (unified)
Added defined(__MINGW32__) and defined(__MINGW64__) for mingw32/mingw64.
Revision 1.69 / (download) - annotate - [select for diffs], Tue Nov 5 11:36:58 2013 UTC (10 years, 9 months ago) by ohara
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.68: +2 -2
lines
Diff to previous 1.68 (unified)
Changed some declarations for MacOSX 10.9.
Revision 1.68 / (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.67: +4 -4
lines
Diff to previous 1.67 (unified)
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.67 / (download) - annotate - [select for diffs], Thu Jun 16 08:17:14 2011 UTC (13 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.66: +3 -3
lines
Diff to previous 1.66 (unified)
0's in the arguments of mknode, mksnode and mkfnode have been changed to NULLP (=(void *)0).
Revision 1.66 / (download) - annotate - [select for diffs], Sun Jan 31 03:25:54 2010 UTC (14 years, 7 months ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2
Changes since 1.65: +4 -1
lines
Diff to previous 1.65 (unified)
Fixed a bug in substr2np() on handling zero substitution.
Revision 1.65 / (download) - annotate - [select for diffs], Mon Feb 9 10:21:29 2009 UTC (15 years, 6 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12
Changes since 1.64: +5 -1
lines
Diff to previous 1.64 (unified)
Adding a functionality for producing information for computing syzygy in nd_*.
Revision 1.64 / (download) - annotate - [select for diffs], Wed Sep 19 05:56:01 2007 UTC (16 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.63: +2 -1
lines
Diff to previous 1.63 (unified)
Modified dp_get_denomlist() so that it also gathers the head coeffs of intermediate basis elements.
Revision 1.63 / (download) - annotate - [select for diffs], Wed Sep 19 05:42:59 2007 UTC (16 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.62: +2 -1
lines
Diff to previous 1.62 (unified)
Add a function dp_get_denomlist() to get the list of removed denominators during an execution of dp_gr_main().
Revision 1.62 / (download) - annotate - [select for diffs], Mon Dec 4 01:40:51 2006 UTC (17 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: DEB_REL_1_2_3-9
Changes since 1.61: +2 -2
lines
Diff to previous 1.61 (unified)
nd_scale is computed from DP_Multiple and Denominator;
Revision 1.61 / (download) - annotate - [select for diffs], Fri Jun 9 09:59:12 2006 UTC (18 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.60: +47 -1
lines
Diff to previous 1.60 (unified)
Added dp_interreduce(Poly,Vars,Ord), which inter-reduces the input.
Revision 1.60 / (download) - annotate - [select for diffs], Wed Nov 16 23:42:53 2005 UTC (18 years, 9 months ago) by noro
Branch: MAIN
CVS Tags: KNOPPIX_2006
Changes since 1.59: +5 -5
lines
Diff to previous 1.59 (unified)
Added an experimental implementation of bibariate non-commutative polynomial computation.
Revision 1.59 / (download) - annotate - [select for diffs], Thu Feb 17 06:27:35 2005 UTC (19 years, 6 months ago) by noro
Branch: MAIN
Changes since 1.58: +2 -2
lines
Diff to previous 1.58 (unified)
Fixed a silly bug in reduceall_mod.
Revision 1.58 / (download) - annotate - [select for diffs], Thu Apr 22 09:45:24 2004 UTC (20 years, 4 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.57: +21 -7
lines
Diff to previous 1.57 (unified)
Fixed bugs in reduceall and reduceall_mod.
Revision 1.57 / (download) - annotate - [select for diffs], Tue Feb 3 23:31:57 2004 UTC (20 years, 7 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX
Changes since 1.56: +21 -7
lines
Diff to previous 1.56 (unified)
EXPERIMENTAL: adding new feature in specifying various options to dp_***.
Revision 1.56 / (download) - annotate - [select for diffs], Fri Dec 26 02:38:10 2003 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.55: +16 -4
lines
Diff to previous 1.55 (unified)
dp_gr_mod_main(), dp_f4_mod_main() now accept DP as input.
Revision 1.55 / (download) - annotate - [select for diffs], Thu Dec 25 08:46:19 2003 UTC (20 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.54: +42 -10
lines
Diff to previous 1.54 (unified)
dp_gr_main(DP,..), dp_f4_main(DP,..) => returns DP list. (dp_gr_mod_main and dp_f4_mod_main : not completed yet.)
Revision 1.54 / (download) - annotate - [select for diffs], Wed Oct 8 09:09:04 2003 UTC (20 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.53: +3 -3
lines
Diff to previous 1.53 (unified)
Adding demand loading in nd.c.
Revision 1.53 / (download) - annotate - [select for diffs], Fri Jul 18 10:13:12 2003 UTC (21 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.52: +3 -3
lines
Diff to previous 1.52 (unified)
Added a very^2 experimental function "nd_gr".
Revision 1.52 / (download) - annotate - [select for diffs], Wed Jul 16 05:31:21 2003 UTC (21 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.51: +2 -2
lines
Diff to previous 1.51 (unified)
Fixed a bug in criterion_F() for Weyl algebra.
Revision 1.51 / (download) - annotate - [select for diffs], Wed Jul 9 07:11:07 2003 UTC (21 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.50: +84 -15
lines
Diff to previous 1.50 (unified)
Implemented gebucket for modular F4 (experimental).
Revision 1.50 / (download) - annotate - [select for diffs], Tue Jul 1 08:12:38 2003 UTC (21 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.49: +13 -7
lines
Diff to previous 1.49 (unified)
Modified measurement of timing in gb_f4_mod.
Revision 1.49 / (download) - annotate - [select for diffs], Sat Jun 21 02:09:15 2003 UTC (21 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.48: +2 -2
lines
Diff to previous 1.48 (unified)
Added headsgn(P), which returns the sgn of the leading coefficient w.r.t. lex order. gb_comp() is fixed by using headsgn().
Revision 1.48 / (download) - annotate - [select for diffs], Thu Jun 5 09:40:39 2003 UTC (21 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.47: +3 -3
lines
Diff to previous 1.47 (unified)
Reverted unnecessary change in gr.c.
Revision 1.47 / (download) - annotate - [select for diffs], Fri May 30 06:03:28 2003 UTC (21 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.46: +3 -3
lines
Diff to previous 1.46 (unified)
Updated ytab.* for windows.
Revision 1.46 / (download) - annotate - [select for diffs], Mon Apr 21 02:49:40 2003 UTC (21 years, 4 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.45: +2 -2
lines
Diff to previous 1.45 (unified)
Added dp_gr_print(2) for printing short information.
Revision 1.45 / (download) - annotate - [select for diffs], Fri Mar 14 06:28:48 2003 UTC (21 years, 5 months ago) by noro
Branch: MAIN
Changes since 1.44: +11 -3
lines
Diff to previous 1.44 (unified)
Fixed a bug in dp_load().
Revision 1.44 / (download) - annotate - [select for diffs], Fri Dec 27 07:37:57 2002 UTC (21 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.43: +2 -4
lines
Diff to previous 1.43 (unified)
Added content reduction in dp_gr_f_main() (experimental).
Revision 1.43 / (download) - annotate - [select for diffs], Thu Jul 18 02:23:53 2002 UTC (22 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.42: +21 -2
lines
Diff to previous 1.42 (unified)
Changed threshold of coefficient size for content reduction (Multiple,Denominator) -> Content. For example, dp_gr_flags(["Content",3/2]) means execute content reduction if the bit length of the head coefficient exceeds the registerd bit length. Note that specification by (Multiple, Denominator) also works.
Revision 1.42 / (download) - annotate - [select for diffs], Wed Jul 17 09:45:49 2002 UTC (22 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.41: +12 -6
lines
Diff to previous 1.41 (unified)
dp_gr_main shows the maximal bit length of coeffs of intermediate basis elements.
Revision 1.41 / (download) - annotate - [select for diffs], Mon Jan 28 00:54:41 2002 UTC (22 years, 7 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.40: +5 -3
lines
Diff to previous 1.40 (unified)
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.40 / (download) - annotate - [select for diffs], Mon Nov 19 01:40:04 2001 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.39: +4 -2
lines
Diff to previous 1.39 (unified)
Fixed a bug in gbcheck_list().
Revision 1.39 / (download) - annotate - [select for diffs], Mon Nov 19 00:57:10 2001 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.38: +9 -11
lines
Diff to previous 1.38 (unified)
Added a builtin function dp_gr_check_list(DP). --- Outputs [DParray, ListOfPairsOfIndeces]. Added a function gbcheck(B,V,O) in lib/gr, which is a wrapper of dp_gr_check_list(). If proc option is supplied, the computation is done by distributed computation.
Revision 1.38 / (download) - annotate - [select for diffs], Fri Nov 16 10:35:07 2001 UTC (22 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.37: +35 -1
lines
Diff to previous 1.37 (unified)
Adding a function to generate necessary normal form reductions for checking a polynomial set being a GB.
Revision 1.37 / (download) - annotate - [select for diffs], Tue Oct 9 01:36:06 2001 UTC (22 years, 10 months ago) by noro
Branch: MAIN
Changes since 1.36: +101 -318
lines
Diff to previous 1.36 (unified)
Conversion to ANSI style (not completed yet).
Revision 1.36 / (download) - annotate - [select for diffs], Mon Oct 1 01:58:02 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.35: +181 -2
lines
Diff to previous 1.35 (unified)
dp_weyl_f4_mod_main is now available again. Added invmat(A) (experimental version). invmat(A) returns [B,D], where B is a matrix and A*B = B*A = D*Identity.
Revision 1.35 / (download) - annotate - [select for diffs], Tue Sep 18 00:56:05 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.34: +13 -3
lines
Diff to previous 1.34 (unified)
Statistics are displayed after F4 computation.
Revision 1.34 / (download) - annotate - [select for diffs], Mon Sep 17 10:32:40 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.33: +3 -6
lines
Diff to previous 1.33 (unified)
Suppressed the ugly warning message about MAX and MIN.
Revision 1.33 / (download) - annotate - [select for diffs], Mon Sep 17 08:37:30 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.32: +2 -2
lines
Diff to previous 1.32 (unified)
element of index array for compressed dp rep.: unsigned short -> unsigned int
Revision 1.32 / (download) - annotate - [select for diffs], Mon Sep 17 07:16:58 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.31: +39 -55
lines
Diff to previous 1.31 (unified)
An improvement of storing reducers.
Revision 1.31 / (download) - annotate - [select for diffs], Mon Sep 17 02:47:07 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.30: +4 -11
lines
Diff to previous 1.30 (unified)
Minor fixes.
Revision 1.30 / (download) - annotate - [select for diffs], Mon Sep 17 01:18:34 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.29: +89 -41
lines
Diff to previous 1.29 (unified)
Implemented lazy simplification in F4 Gaussian elimination.
Revision 1.29 / (download) - annotate - [select for diffs], Thu Sep 13 03:19:56 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.28: +32 -103
lines
Diff to previous 1.28 (unified)
The previous modification was useless. Reverted to the old code.
Revision 1.28 / (download) - annotate - [select for diffs], Thu Sep 13 03:04:27 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.27: +103 -32
lines
Diff to previous 1.27 (unified)
DL's are hold separately when symb_merge is executed.
Revision 1.27 / (download) - annotate - [select for diffs], Tue Sep 11 08:56:47 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.26: +24 -10
lines
Diff to previous 1.26 (unified)
Still trying to improve F4...
Revision 1.26 / (download) - annotate - [select for diffs], Tue Sep 11 01:30:31 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.25: +3 -3
lines
Diff to previous 1.25 (unified)
Renamed : CMP -> CM (CMP is alreadly defined as a tag in parse.y.)
Revision 1.25 / (download) - annotate - [select for diffs], Mon Sep 10 05:55:14 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.24: +57 -7
lines
Diff to previous 1.24 (unified)
I'm still trying to improve the effcieincy of F4 implementation.
Revision 1.24 / (download) - annotate - [select for diffs], Fri Sep 7 08:54:57 2001 UTC (22 years, 11 months ago) by noro
Branch: MAIN
Changes since 1.23: +59 -10
lines
Diff to previous 1.23 (unified)
F4 over GF(p) now uses compressed reducer polys.
Revision 1.23 / (download) - annotate - [select for diffs], Wed Sep 5 08:09:10 2001 UTC (23 years ago) by noro
Branch: MAIN
Changes since 1.22: +51 -15
lines
Diff to previous 1.22 (unified)
A trace generating facility for groebner basis computation is being implemented. 'lib/gr/tracetogen' converts the trace into the generating coefficients. (Experimental) Example: [...] dp_gr_flags(["GenTrace",1,"OXCheck",-1]); [...] G = dp_gr_main(B,V,0,0,0)$ /*G[0] : gb, G[1] : gbindex, G[2] : trace */ [...] Tr = tracetogen(G[1],G[2])$ Tr is a vector whose i-th element is a vector containing coefficients of the generation of the i-th intermediate basis element.
Revision 1.22 / (download) - annotate - [select for diffs], Wed Sep 5 01:57:32 2001 UTC (23 years ago) by noro
Branch: MAIN
Changes since 1.21: +4 -5
lines
Diff to previous 1.21 (unified)
Deleted dp_f4_f_main(), dp_weyl_f4_f_main(). (Currently they do not make sense.)
Revision 1.21 / (download) - annotate - [select for diffs], Tue Sep 4 08:48:19 2001 UTC (23 years ago) by noro
Branch: MAIN
Changes since 1.20: +12 -11
lines
Diff to previous 1.20 (unified)
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.20 / (download) - annotate - [select for diffs], Mon Jul 23 05:03:22 2001 UTC (23 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.19: +2 -1
lines
Diff to previous 1.19 (unified)
dp_gr_flags() now shows the value of "PrintShort" flag.
Revision 1.19 / (download) - annotate - [select for diffs], Thu Jun 7 04:54:38 2001 UTC (23 years, 2 months ago) by noro
Branch: MAIN
Changes since 1.18: +3 -3
lines
Diff to previous 1.18 (unified)
lprime() now returns arbitrary number of long primes.
Revision 1.18 / (download) - annotate - [select for diffs], Fri Jan 12 09:03:33 2001 UTC (23 years, 7 months ago) by noro
Branch: MAIN
Changes since 1.17: +2 -2
lines
Diff to previous 1.17 (unified)
Fixed a bug in gb(). dp_gr_main now works correctly for finite field coefficient case.
Revision 1.17 / (download) - annotate - [select for diffs], Mon Dec 11 02:00:40 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.16: +16 -5
lines
Diff to previous 1.16 (unified)
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.16 / (download) - annotate - [select for diffs], Fri Dec 8 06:43:09 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.15: +78 -24
lines
Diff to previous 1.15 (unified)
Restored _dp_nf(), which is still necessary for computation over Q(X).
Revision 1.15 / (download) - annotate - [select for diffs], Fri Dec 8 04:35:30 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.14: +49 -67
lines
Diff to previous 1.14 (unified)
_dp_nf() is now being cleaned up.
Revision 1.14 / (download) - annotate - [select for diffs], Fri Dec 8 02:39:05 2000 UTC (23 years, 8 months ago) by noro
Branch: MAIN
Changes since 1.13: +415 -760
lines
Diff to previous 1.13 (unified)
Several fucntions related to normal form computation have been merged.
Revision 1.13 / (download) - annotate - [select for diffs], Tue Dec 5 08:29:43 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.12: +7 -10
lines
Diff to previous 1.12 (unified)
Private memory management was dangerous in F4.
Revision 1.12 / (download) - annotate - [select for diffs], Tue Dec 5 06:59:15 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.11: +74 -265
lines
Diff to previous 1.11 (unified)
Files related to distributed polynomial computation are now being restructured.
Revision 1.11 / (download) - annotate - [select for diffs], Tue Dec 5 01:24:50 2000 UTC (23 years, 9 months ago) by noro
Branch: MAIN
Changes since 1.10: +3 -185
lines
Diff to previous 1.10 (unified)
Removed ugly '#if defined(THINK_C)'.
Revision 1.10 / (download) - annotate - [select for diffs], Fri Sep 8 02:56:32 2000 UTC (23 years, 11 months ago) by noro
Branch: MAIN
CVS Tags: maekawa-ipv6,
STABLE_1_1_3,
RELEASE_1_1_3
Changes since 1.9: +5 -3
lines
Diff to previous 1.9 (unified)
Fixed a silly bug in gb().
Revision 1.9 / (download) - annotate - [select for diffs], Tue Aug 22 05:03:58 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.8: +2 -2
lines
Diff to previous 1.8 (unified)
Sorry, the email address in the license agreement was incorrect.
Revision 1.8 / (download) - annotate - [select for diffs], Mon Aug 21 08:31:19 2000 UTC (24 years ago) by noro
Branch: MAIN
Changes since 1.7: +49 -1
lines
Diff to previous 1.7 (unified)
Added copyright notice and license agreement. It is mandatory to distribute Risa/Asir source codes freely.
Revision 1.7 / (download) - annotate - [select for diffs], Fri Jul 14 08:26:39 2000 UTC (24 years, 1 month ago) by noro
Branch: MAIN
Changes since 1.6: +145 -17
lines
Diff to previous 1.6 (unified)
Added a function for verification of Groebner basis computation. Details will be soon informed.
Revision 1.6 / (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.5: +18 -13
lines
Diff to previous 1.5 (unified)
I'm sorry. I have to commit too many modifications at once. Major modifications are for optimization of modular groebner base computation.
Revision 1.5 / (download) - annotate - [select for diffs], Mon May 29 08:54:45 2000 UTC (24 years, 3 months ago) by noro
Branch: MAIN
Changes since 1.4: +127 -55
lines
Diff to previous 1.4 (unified)
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:58 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.3: +5 -5
lines
Diff to previous 1.3 (unified)
monomial x polynomial was too slow for distributed poly.
Revision 1.3 / (download) - annotate - [select for diffs], Thu Apr 20 02:20:15 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.2: +5 -1
lines
Diff to previous 1.2 (unified)
Fixed a bug in resf_hensel() which causes SEGV for non-monic inputs. Experimental implementation of linear equation solving by Hensel in F4. It works but it is very slow, so currently it is not used. Fixed a bug in sp around gathering hidden algebraic numbers.
Revision 1.2 / (download) - annotate - [select for diffs], Thu Apr 13 06:01:01 2000 UTC (24 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.1: +41 -44
lines
Diff to previous 1.1 (unified)
Modified functions related to F4 symbolic preprocessing Removed unnecessary (and time consuming) measurement of timings.
Revision 1.1 / (download) - annotate - [select for diffs], Fri Dec 3 07:39:07 1999 UTC (24 years, 9 months ago) by noro
Branch: MAIN
Initial revision