Up to [local] / OpenXM / src / asir-contrib / packages / src
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.40 / (download) - annotate - [select for diffs], Thu Jul 14 10:29:29 2022 UTC (22 months, 2 weeks ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.39: +36 -12
lines
Diff to previous 1.39 (colored)
poly_solve_linear(Eq,V) uses the lexicographic order reverse(V) and poly_solve_linear(Eq,V | reverse=1) uses the lexicographic order V is used.
Revision 1.39 / (download) - annotate - [select for diffs], Thu Jul 14 01:07:43 2022 UTC (22 months, 2 weeks ago) by takayama
Branch: MAIN
Changes since 1.38: +6 -2
lines
Diff to previous 1.38 (colored)
Bug fix of poly_solve_linear when p > 0.
Revision 1.38 / (download) - annotate - [select for diffs], Mon Jan 31 06:53:17 2022 UTC (2 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.37: +9 -4
lines
Diff to previous 1.37 (colored)
poly_dvar([x,y] | d=t) return [tx,ty].
Revision 1.37 / (download) - annotate - [select for diffs], Fri Jan 14 02:25:23 2022 UTC (2 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.36: +5 -2
lines
Diff to previous 1.36 (colored)
poly_solve_linear accepts the option p. When p=P>0, it solves the system by mod P.
Revision 1.36 / (download) - annotate - [select for diffs], Thu Nov 4 07:31:11 2021 UTC (2 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.35: +10 -1
lines
Diff to previous 1.35 (colored)
poly_dvar([x1,x2]) returns [dx1,dx2].
Revision 1.35 / (download) - annotate - [select for diffs], Tue Nov 2 01:08:10 2021 UTC (2 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.34: +3 -2
lines
Diff to previous 1.34 (colored)
Bug fix of options for poly_elimination_ideal().
Revision 1.34 / (download) - annotate - [select for diffs], Mon Aug 31 23:46:46 2020 UTC (3 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.33: +17 -1
lines
Diff to previous 1.33 (colored)
poly_lcm, poly_denominator(List), matrix_poly_to_matrix(Poly,Rule) are added. Example. matrix_poly_to_matrix(x^2-1,[[x,newmat(2,2,[[a,0],[0,b]])]]);
Revision 1.33 / (download) - annotate - [select for diffs], Tue Mar 19 00:56:55 2019 UTC (5 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.32: +2 -2
lines
Diff to previous 1.32 (colored)
n -> h
Revision 1.32 / (download) - annotate - [select for diffs], Tue Mar 19 00:51:47 2019 UTC (5 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.31: +9 -3
lines
Diff to previous 1.31 (colored)
poly_hilbert_polynomial calls dp_monomial_hilbert_poincare on asir2018.
Revision 1.31 / (download) - annotate - [select for diffs], Fri Jan 4 05:36:26 2019 UTC (5 years, 4 months ago) by takayama
Branch: MAIN
Changes since 1.30: +7 -1
lines
Diff to previous 1.30 (colored)
matrix_eigenvalues(Mat | num=1) returns the approximate eigenvalues.
Revision 1.30 / (download) - annotate - [select for diffs], Thu Sep 6 05:56:47 2018 UTC (5 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.29: +3 -3
lines
Diff to previous 1.29 (colored)
Fixed a typo.
Revision 1.29 / (download) - annotate - [select for diffs], Fri May 2 07:08:35 2014 UTC (10 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.28: +14 -1
lines
Diff to previous 1.28 (colored)
New functions. taka_poly_coefficient(F,Deg,V), which accept rational, list, vector. Modified functions. taka_base_sum(Obj,0,From,To), Obj is assumed to be a list and Obj[From]+...+Obj[To] is returned.
Revision 1.28 / (download) - annotate - [select for diffs], Tue Feb 28 23:25:24 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.27: +5 -3
lines
Diff to previous 1.27 (colored)
Bug fix of the option weight/order for taka_poly_in_w.
Revision 1.27 / (download) - annotate - [select for diffs], Tue Feb 28 23:14:12 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.26: +15 -4
lines
Diff to previous 1.26 (colored)
A new interface poly_in_w(F) Example: poly_in_w([x^2+y^2-1,x*y-x] | weight=[1,0]);
Revision 1.26 / (download) - annotate - [select for diffs], Tue Feb 28 11:29:50 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.25: +50 -86
lines
Diff to previous 1.25 (colored)
Examples of updated interfaces. F=[x^2+y^2+z^2-1,x*y+y*z+z*x-1,x*y*z-1]; poly_grobner_basis(F); poly_grobner_basis(F | order=[10,3,0], v=[x,y,z]); poly_grobner_basis(F | order=[10,3,0], v=[x,y,z], str=1); poly_initial(F); poly_initial(F | gb=1); poly_initial(F | order=[1,1,0]); poly_in(F); F2=[x^2+y^2-1,x*y-1]; poly_hilbert_polynomial(F2); poly_in(F2 | v=[x], gb=1); poly_initial_coefficients(F2 | v=[x],gb=1);
Revision 1.25 / (download) - annotate - [select for diffs], Mon Feb 27 23:44:40 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.24: +12 -3
lines
Diff to previous 1.24 (colored)
poly_grobner_basis() passes the unknown options to nd_gr_trace. The order key word accepts a number, list, vector and matrix. Example: load("cyclic"); F=cyclic(4); poly_grobner_basis(F | order=[1,1,1,0], gentrace=1,gensyz=1);
Revision 1.24 / (download) - annotate - [select for diffs], Mon Feb 27 08:11:29 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.23: +7 -3
lines
Diff to previous 1.23 (colored)
taka_poly_grobner_basis returns a list when the str option is not given. When str=1, it returns the structure grobner_basis.
Revision 1.23 / (download) - annotate - [select for diffs], Sun Feb 26 01:06:53 2012 UTC (12 years, 3 months ago) by takayama
Branch: MAIN
Changes since 1.22: +65 -1
lines
Diff to previous 1.22 (colored)
taka_poly_grobner_basis calls nd_gr_trace as the default.
Revision 1.22 / (download) - annotate - [select for diffs], Fri Apr 29 11:12:04 2011 UTC (13 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.21: +14 -1
lines
Diff to previous 1.21 (colored)
base_sum, base_product, base_makelist accept a list as an argument. base_sum(Obj,K,B,T) base_sum returns the sum of Obj where K runs in [B,T]. Options are qt=1 (keep quote data), step (step size). When B is a list, K runs in B and T is ignored. <-- new. example: base_sum(k^2,k,1,10); example: base_sum(quote(x^2),x,1,10 | qt=1, step=0.5); example: base_sum(quote(x^2),x,[a,b,c],0 | qt=1); poly_ord_w is defined.
Revision 1.21 / (download) - annotate - [select for diffs], Wed Apr 27 10:57:20 2011 UTC (13 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.20: +32 -1
lines
Diff to previous 1.20 (colored)
Interfaces for the dojo-book. poly_gr_w(F,V,W) It returns the Grobner basis of F for the weight vector W. It is the second interface for poly_grobner_basis. example: poly_gr_w([x^2+y^2-1,x*y-1],[x,y],[1,0]); poly_r_omatrix(N) It gives a weight matrix, which is used to compute a Grobner basis in K(x)<dx>, |x|=|dx|=N. example: poly_r_omatrix(3); poly_in_w(F,V,W) It returns the initial term or the initial ideal in_w(F) for the weight vector W. example: poly_in_w([x^2+y^2-1,x*y-1],[x,y],[1,0]); todo: strategy option for poly_gr_w.
Revision 1.20 / (download) - annotate - [select for diffs], Wed Apr 27 08:41:04 2011 UTC (13 years, 1 month ago) by takayama
Branch: MAIN
Changes since 1.19: +34 -2
lines
Diff to previous 1.19 (colored)
poly_elimination_ideal calls noro_poly_elimination_ideal as the default. poly_elimination_ideal(I,VV|grobner_basis,v,homo,grace,strategy) It computes the intersection of the ideal {I} and the subring K[{VV}]. description: If grobner_basis is "yes", I is assumed to be a Grobner basis. The optional variable v is a list of variables which defines the ring of polynomials. example: poly_elimination_ideal([x^2+y^2-4,x*y-1],[x]); example: A = poly_grobner_basis([x^2+y^2-4,x*y-1]|order=2,v=[y,x]); poly_elimination_ideal(A,[x]|grobner_basis="yes"); When strategy=1(default), nd_gr is used when trace=0(defauult), nd_gr_trace is used when trace=1.
Revision 1.19 / (download) - annotate - [select for diffs], Sat May 22 00:58:31 2010 UTC (14 years ago) by takayama
Branch: MAIN
Changes since 1.18: +8 -6
lines
Diff to previous 1.18 (colored)
Tie breaker is changed to graded reverse lex order in taka_poly_weight_vector.
Revision 1.18 / (download) - annotate - [select for diffs], Fri Dec 11 01:00:18 2009 UTC (14 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2
Changes since 1.17: +3 -3
lines
Diff to previous 1.17 (colored)
Fixed a bug in poly_hilbert_polynomial (Order).
Revision 1.17 / (download) - annotate - [select for diffs], Thu Oct 5 20:12:15 2006 UTC (17 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12,
DEB_REL_1_2_3-9
Changes since 1.16: +21 -1
lines
Diff to previous 1.16 (colored)
poly_sort(F) for quote F is partially implemented. poly_expand(F) is an alias of poly_sort(F).
Revision 1.16 / (download) - annotate - [select for diffs], Thu Mar 11 12:36:53 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3,
RELEASE_1_2_2_KNOPPIX_b,
KNOPPIX_2006
Changes since 1.15: +2 -2
lines
Diff to previous 1.15 (colored)
taka_print.rr is replaced by noro_print.rr
Revision 1.15 / (download) - annotate - [select for diffs], Thu Mar 11 01:57:39 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.14: +15 -14
lines
Diff to previous 1.14 (colored)
Bug: print_tex_form(poly_factor(x^2-1)); caused an error. Solution: Added the new argument Tb (text buffer) to the function taka_poly_tex_form_poly_factored_polynomial in taka_poly.rr The same changes are done for other functions for "struct".
Revision 1.14 / (download) - annotate - [select for diffs], Tue Mar 9 07:01:59 2004 UTC (20 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.13: +24 -3
lines
Diff to previous 1.13 (colored)
Experimental codes for quote clean env.: taka_poly_factor and taka_poly_grobner accept a quote or a list of quotes. When a quote or a list of quotes is given as an argument, these functions return a quote or a list of quotes. quote_to_obj : a frontend of eval_quote
Revision 1.13 / (download) - annotate - [select for diffs], Sun May 18 02:20:23 2003 UTC (21 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2_KNOPPIX
Changes since 1.12: +2 -2
lines
Diff to previous 1.12 (colored)
Experimental version of sm1 interface of asir-contrib. sm1_xyz() ===> sm1.xyz(). Warning: Porting asir-contrib for the new "modular" asir is a work in progress. asir-contrib will not work perfectly if you cvsup this change. Checkout asir-contrib with the tag RELEASE_1_2_2 if you need to USE asir-contrib.
Revision 1.12 / (download) - annotate - [select for diffs], Thu Jan 16 22:02:32 2003 UTC (21 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_2
Changes since 1.11: +6 -7
lines
Diff to previous 1.11 (colored)
Fixed a bug of poly_initial_term, which did not return the initial term.
Revision 1.11 / (download) - annotate - [select for diffs], Tue Jan 22 06:18:44 2002 UTC (22 years, 4 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_1
Changes since 1.10: +9 -9
lines
Diff to previous 1.10 (colored)
We no longer use Tag field to find the datatype of struct. We use struct_type() function instead.
Revision 1.10 / (download) - annotate - [select for diffs], Wed Aug 29 07:37:17 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.9: +102 -1
lines
Diff to previous 1.9 (colored)
poly_degree(F|v=[x,y],weight=[x,2,y,-1]) returns degree of F with respect to the weight x=2 and y=-1. poly_initial_term(F|v=[x,y],weight=[x,2,y,-1]) returns the initial term of the polynomial F with respect to the weight x=2 and y=-1. poly_initial_term(F|V=[x,y],order=0) returns the initial term (monomial) of the polynomial F with respect to the graded reverse lexicographic order.
Revision 1.9 / (download) - annotate - [select for diffs], Sun Aug 26 09:50:28 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.8: +315 -13
lines
Diff to previous 1.8 (colored)
Added new experimental functions poly_initial(I) poly_grobner_basis(F) poly_hilbert_polynomial(I) which accept data structure poly_ideal.
Revision 1.8 / (download) - annotate - [select for diffs], Sat Aug 25 04:39:03 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.7: +40 -9
lines
Diff to previous 1.7 (colored)
New datatypes are added by using struct (experimental). See datatype.rr. base_field : field. base_identity : identity. base_text : text which explains the meaning of identity. poly_factored_polynomial : polynomial in factored form. poly_factored_rational : rational in factored form. poly_polynomial : polynomial that belongs to a ring. poly_ideal : ideal poly_ring : ring
Revision 1.7 / (download) - annotate - [select for diffs], Tue Aug 21 11:27:16 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.6: +83 -1
lines
Diff to previous 1.6 (colored)
quote_sort_polynomial(F,V,W) : sort monomials in F by the order defined by the weight vector W and returns the sorted polynomial in the quote format. Example: print_xdvi_form( quote_sort_polynomial((x-y)^3,[x,y],[1,1]));
Revision 1.6 / (download) - annotate - [select for diffs], Tue Aug 21 02:12:26 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.5: +2 -2
lines
Diff to previous 1.5 (colored)
recmap --> map (map is enough in some cases.)
Revision 1.5 / (download) - annotate - [select for diffs], Tue Aug 21 02:07:18 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.4: +3 -29
lines
Diff to previous 1.4 (colored)
Codes are shorten by using recmap.
Revision 1.4 / (download) - annotate - [select for diffs], Mon Aug 20 07:12:08 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.3: +1 -2
lines
Diff to previous 1.3 (colored)
Fixed a typo.
Revision 1.3 / (download) - annotate - [select for diffs], Mon Aug 20 06:40:34 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.2: +83 -1
lines
Diff to previous 1.2 (colored)
Added functions : poly_elimination_ideal(I,V,VV|grobner_basis=?) base_subsetq(A,B) base_intersection(A,B) base_prune(A,S) : prune A from the set S. poly_factor(F)
Revision 1.2 / (download) - annotate - [select for diffs], Sun Aug 19 09:55:18 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.1: +47 -1
lines
Diff to previous 1.1 (colored)
Functions base_cancel(), base_flatten(), poly_solve_linear() are added. The names tell the functions by themselves, I hope.
Revision 1.1 / (download) - annotate - [select for diffs], Fri Aug 17 11:57:51 2001 UTC (22 years, 9 months ago) by takayama
Branch: MAIN
Added matrix_ * functions (eigenvalues, diagonal, kernel, ... etc) to names.rr. These functions call omatrix_* functions in the file Matrix.