You can subscribe to this list here.
2009 
_{Jan}
(2) 
_{Feb}
(5) 
_{Mar}

_{Apr}

_{May}
(2) 
_{Jun}
(8) 
_{Jul}
(4) 
_{Aug}

_{Sep}

_{Oct}
(2) 
_{Nov}
(6) 
_{Dec}


2010 
_{Jan}
(1) 
_{Feb}
(1) 
_{Mar}
(3) 
_{Apr}
(2) 
_{May}
(2) 
_{Jun}
(2) 
_{Jul}
(18) 
_{Aug}
(13) 
_{Sep}
(7) 
_{Oct}

_{Nov}

_{Dec}
(2) 
2011 
_{Jan}

_{Feb}
(11) 
_{Mar}

_{Apr}
(4) 
_{May}

_{Jun}
(1) 
_{Jul}
(18) 
_{Aug}
(16) 
_{Sep}
(12) 
_{Oct}
(12) 
_{Nov}
(19) 
_{Dec}
(42) 
2012 
_{Jan}
(16) 
_{Feb}
(3) 
_{Mar}
(8) 
_{Apr}
(14) 
_{May}
(30) 
_{Jun}
(5) 
_{Jul}
(7) 
_{Aug}
(3) 
_{Sep}
(10) 
_{Oct}
(4) 
_{Nov}
(10) 
_{Dec}
(1) 
2013 
_{Jan}
(14) 
_{Feb}
(8) 
_{Mar}
(5) 
_{Apr}
(3) 
_{May}
(9) 
_{Jun}
(19) 
_{Jul}

_{Aug}
(27) 
_{Sep}
(5) 
_{Oct}
(18) 
_{Nov}
(12) 
_{Dec}
(8) 
2014 
_{Jan}
(5) 
_{Feb}
(8) 
_{Mar}
(20) 
_{Apr}
(22) 
_{May}
(28) 
_{Jun}
(9) 
_{Jul}
(6) 
_{Aug}
(46) 
_{Sep}
(40) 
_{Oct}
(15) 
_{Nov}
(8) 
_{Dec}
(34) 
2015 
_{Jan}
(20) 
_{Feb}
(15) 
_{Mar}
(18) 
_{Apr}
(20) 
_{May}
(3) 
_{Jun}
(13) 
_{Jul}
(10) 
_{Aug}
(19) 
_{Sep}
(8) 
_{Oct}
(31) 
_{Nov}
(26) 
_{Dec}
(13) 
2016 
_{Jan}
(13) 
_{Feb}
(4) 
_{Mar}
(14) 
_{Apr}
(28) 
_{May}
(19) 
_{Jun}
(7) 
_{Jul}
(1) 
_{Aug}

_{Sep}
(19) 
_{Oct}
(5) 
_{Nov}
(4) 
_{Dec}
(3) 
S  M  T  W  T  F  S 

1

2

3

4

5

6

7

8

9

10

11

12

13
(3) 
14

15
(1) 
16

17

18

19

20
(2) 
21

22

23

24

25
(2) 
26

27

28

29

30

31





From: Tony Hearn <achearn@ve...>  20131225 22:22:55

In building the CSL version of REDUCE, I notice the following. Anyone care to fix it? Thanks. >Info: gurobi >Info: z3 >openlibrary Linux/Mac/BSD/Unix etc >/u04/hearn/reducealgebra/trunk/csl/cslbase/../../packages/foreign/z3/libredz3.so >Err = ></u04/hearn/reducealgebra/trunk/csl/cslbase/../../packages/foreign/z3/libredz3.so: >cannot open shared object file: No such file or directory> >Info: rubi_red >Info: Recompilation complete 
From: Arthur Norman <acn1@ca...>  20131225 21:57:29

reducealgebradevelopers@... Thanks! Arthur 
From: Rainer Schöpf <rainer.schoepf@gm...>  20131220 12:34:29

Thanks for pointing this out  corrected. Rainer 
From: Yasumasa KANADA <kanada@pi...>  20131220 01:12:48

I am not sure who is responsible for correcting texts.... ==================== URL : http://reducealgebra.sourceforge.net/downloading.html Section "Complete Sources and Supporting Files" We can find following two lines in the texts; (1) svn checkout http://svn.code.sf.net/p/reducealgebra/code/trunk reducealgebra (2) To create the necessary executables, cd to the reducealgebra/trunk directory, and the type:  If all files under "trunk" directory are obtained with svn as in the above, there are no "trunk" directory under "reducealgebra" directory. Then, possible corrections are; (a) remove '/trunk' in (1) or (b) remove '/trunk' in (2) ==================== Yasumasa KANADA 
From: Eberhard Schruefer <eschruefer@ca...>  20131215 14:46:40

Hi Raffaele, The 'strange' behavior you noticed has all to do with the flag gcd (which is off by default). Let's take a look at your matrix element glmat2(1,1). It is the expanded form of (polynomial1*polynomial2)/(polynomial2**5) where polynomial1 and polynomial2 are nonmonic irreducible polynomials. As the REDUCE flag 'gcd' is off, these kind of expressions can occur, i.e. polynomial2 is not canceled out of the numerator and the denominator. In the next step of your calculation the above expression is multiplied by polynomial2**4 When 'gcd' is off this simplifies with the current code to (polynomial1*polynomial2)/polynomial2 and this is the root of the behavior you discovered. I think this is not what one would expect, because if you input this expression directly (which you did in your first mail) the simplification would yield just polynomial1 The reduction to polynomial1 would of course also be triggered by a call to rmsubs() and confuse an user even more. A nicer simplification could be achieved by altering the procedure addsq to symbolic procedure addsq(u,v); % U and V are standard quotients. % Value is canonical sum of U and V. if null numr u then v else if null numr v then u else if denr u=1 and denr v=1 then addf(numr u,numr v) ./ 1 else begin scalar x,y,z; if null !*exp then <<u := numr u ./ mkprod denr u; v := numr v ./ mkprod denr v>>; if !*lcm then x := gcdf!*(denr u,denr v) else x := gcdf(denr u,denr v); z := canonsq(quotf(denr u,x) ./ quotf(denr v,x)); y := addf(multf(denr z,numr u),multf(numr z,numr v)); if null y then return nil ./ 1; z := multf(denr u,denr z); if (x := gcdf(y,x)) neq 1 then <<y := quotf(y,x); z := quotf(z,x)>>; if !*gcd then return if x=1 then y ./ z else canonsq(y ./ z); return if (x := gcdf(y,z))=1 then canonsq(y ./ z) else canonsq(quotf(y,x) ./ quotf(z,x)) end; However, this slows down calculations a little bit. Here is a simpler example that shows the behavior 1: t1 := (  4*tb1)/(tb1 + 3);  4*tb1 t1 :=  tb1 + 3 2: t2 := (4*tb1*(  tb1**2  5*tb1  6))/(tb1**2 + 6*tb1 + 9); 2 4*tb1*(  tb1  5*tb1  6) t2 :=  2 tb1 + 6*tb1 + 9 3: t1+t2; 4*tb1*(  tb1  3)  tb1 + 3 4: lisp rmsubs(); 5: ws;  4*tb1 Anybody comments on this? Best wishes, Eberhard On 12/14/2013 12:31 AM, Raffaele Vitolo wrote: > Hi Eberhard, > > On 13/12/13 12:41, Eberhard Schruefer wrote: >> Hi Raffaele, >> >> What version of REDUCE are you using? I'm not seeing the behaviour you >> describe on >> an up to date svn version of REDUCE. The denominator is always cleared out. > I'm using the latest svn. > > You are right, the behaviour is exhibited when I do the computation with > this simple script: > http://poincare.unisalento.it/vitolo/tempo/test > > Just say 'y' after pauses and you will see it. The simplification is > performed only after switching off factorization. Maybe it is normal? > > Best wishes, Raf. > >> Best wishes, Eberhard >> >> On 12/13/2013 11:38 AM, Raffaele Vitolo wrote: >>> Dear All, >>> >>> I noticed a strange behaviour of the factorization with respect to >>> rational expressions. Namely, I have a rational expression where I know >>> that the denominator must simplify: >>> >>> g:= >>> (2*cf1**3*tb1*tb3**2 + 2*cf1**2*cf2*tb2*tb3**2 + 2*cf1**2*cf3*tb3**3  >>> 4*cf1**2* >>> tb1*tb2*tb3 + 2*cf1**2*tb3**2 + cf1*cf2**2*mu*tb1*tb2**2 + >>> 2*cf1*cf2*cf3*mu*tb1* >>> tb2*tb3 + 2*cf1*cf2*mu*tb1*tb2  4*cf1*cf2*tb2**2*tb3 + >>> cf1*cf3**2*mu*tb1*tb3**2 >>> + 2*cf1*cf3*mu*tb1*tb3  4*cf1*cf3*tb2*tb3**2 + cf1*mu*tb1 + >>> 2*cf1*tb1*tb2**2  >>> 4*cf1*tb2*tb3 + cf2**3*mu*tb2**3 + 3*cf2**2*cf3*mu*tb2**2*tb3 + >>> 3*cf2**2*mu*tb2 >>> **2 + 3*cf2*cf3**2*mu*tb2*tb3**2 + 6*cf2*cf3*mu*tb2*tb3 + 3*cf2*mu*tb2 + >>> 2*cf2* >>> tb2**3 + cf3**3*mu*tb3**3 + 3*cf3**2*mu*tb3**2 + 3*cf3*mu*tb3 + >>> 2*cf3*tb2**2*tb3 >>> + mu + 2*tb2**2)/(cf1*tb1 + cf2*tb2 + cf3*tb3 + 1)$ >>> >>> I do >>> off exp; on gcd; on ezgcd; >>> >>> then the expression correctly factorizes in numerator and denominator >>> but does *not* simplify: >>> >>> g; >>> >>> ((2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + >>> 2*cf2*cf3*mu*tb2*tb3 + 2* >>> cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2)*(cf1*tb1 + >>> cf2*tb2 + cf3*tb3 + 1))/(cf3*tb3 + 1 + cf2*tb2 + cf1*tb1)$ >>> >>> you may see that the two equal factors are written with summands in >>> different order. >>> >>> Then if I do off ezgcd; off gcd; on exp; >>> and call g; I have the simplification to: >>> >>> 2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + >>> 2*cf2*cf3*mu*tb2*tb3 + 2* >>> cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2$ >>> >>> Is this the correct behaviour? I thought that simplification should >>> occur at the factorization stage ... maybe a bug due to the 'strange' >>> reordering of terms in the denominator after factorization? >>> >>> Raf. >>> >>> >>> >>>  >>> Rapidly troubleshoot problems before they affect your business. Most IT >>> organizations don't have a clear picture of how application performance >>> affects their revenue. With AppDynamics, you get 100% visibility into your >>> Java,.NET, & PHP application. Start your 15day FREE TRIAL of AppDynamics Pro! >>> http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk >>> _______________________________________________ >>> Reducealgebradevelopers mailing list >>> Reducealgebradevelopers@... >>> https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers >>  >> Rapidly troubleshoot problems before they affect your business. Most IT >> organizations don't have a clear picture of how application performance >> affects their revenue. With AppDynamics, you get 100% visibility into your >> Java,.NET, & PHP application. Start your 15day FREE TRIAL of AppDynamics Pro! >> http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk >> _______________________________________________ >> Reducealgebradevelopers mailing list >> Reducealgebradevelopers@... >> https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers >> 
From: Raffaele Vitolo <raffaele.vitolo@un...>  20131213 23:31:22

Hi Eberhard, On 13/12/13 12:41, Eberhard Schruefer wrote: > Hi Raffaele, > > What version of REDUCE are you using? I'm not seeing the behaviour you > describe on > an up to date svn version of REDUCE. The denominator is always cleared out. I'm using the latest svn. You are right, the behaviour is exhibited when I do the computation with this simple script: http://poincare.unisalento.it/vitolo/tempo/test Just say 'y' after pauses and you will see it. The simplification is performed only after switching off factorization. Maybe it is normal? Best wishes, Raf. > > Best wishes, Eberhard > > On 12/13/2013 11:38 AM, Raffaele Vitolo wrote: >> Dear All, >> >> I noticed a strange behaviour of the factorization with respect to >> rational expressions. Namely, I have a rational expression where I know >> that the denominator must simplify: >> >> g:= >> (2*cf1**3*tb1*tb3**2 + 2*cf1**2*cf2*tb2*tb3**2 + 2*cf1**2*cf3*tb3**3  >> 4*cf1**2* >> tb1*tb2*tb3 + 2*cf1**2*tb3**2 + cf1*cf2**2*mu*tb1*tb2**2 + >> 2*cf1*cf2*cf3*mu*tb1* >> tb2*tb3 + 2*cf1*cf2*mu*tb1*tb2  4*cf1*cf2*tb2**2*tb3 + >> cf1*cf3**2*mu*tb1*tb3**2 >> + 2*cf1*cf3*mu*tb1*tb3  4*cf1*cf3*tb2*tb3**2 + cf1*mu*tb1 + >> 2*cf1*tb1*tb2**2  >> 4*cf1*tb2*tb3 + cf2**3*mu*tb2**3 + 3*cf2**2*cf3*mu*tb2**2*tb3 + >> 3*cf2**2*mu*tb2 >> **2 + 3*cf2*cf3**2*mu*tb2*tb3**2 + 6*cf2*cf3*mu*tb2*tb3 + 3*cf2*mu*tb2 + >> 2*cf2* >> tb2**3 + cf3**3*mu*tb3**3 + 3*cf3**2*mu*tb3**2 + 3*cf3*mu*tb3 + >> 2*cf3*tb2**2*tb3 >> + mu + 2*tb2**2)/(cf1*tb1 + cf2*tb2 + cf3*tb3 + 1)$ >> >> I do >> off exp; on gcd; on ezgcd; >> >> then the expression correctly factorizes in numerator and denominator >> but does *not* simplify: >> >> g; >> >> ((2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + >> 2*cf2*cf3*mu*tb2*tb3 + 2* >> cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2)*(cf1*tb1 + >> cf2*tb2 + cf3*tb3 + 1))/(cf3*tb3 + 1 + cf2*tb2 + cf1*tb1)$ >> >> you may see that the two equal factors are written with summands in >> different order. >> >> Then if I do off ezgcd; off gcd; on exp; >> and call g; I have the simplification to: >> >> 2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + >> 2*cf2*cf3*mu*tb2*tb3 + 2* >> cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2$ >> >> Is this the correct behaviour? I thought that simplification should >> occur at the factorization stage ... maybe a bug due to the 'strange' >> reordering of terms in the denominator after factorization? >> >> Raf. >> >> >> >>  >> Rapidly troubleshoot problems before they affect your business. Most IT >> organizations don't have a clear picture of how application performance >> affects their revenue. With AppDynamics, you get 100% visibility into your >> Java,.NET, & PHP application. Start your 15day FREE TRIAL of AppDynamics Pro! >> http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk >> _______________________________________________ >> Reducealgebradevelopers mailing list >> Reducealgebradevelopers@... >> https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers > > >  > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15day FREE TRIAL of AppDynamics Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk > _______________________________________________ > Reducealgebradevelopers mailing list > Reducealgebradevelopers@... > https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers >  Raffaele Vitolo, associate professor Dipartimento di Matematica e Fisica "E. De Giorgi" Universita' del Salento, Italy web: http://poincare.unisalento.it/vitolo 
From: Eberhard Schruefer <eschruefer@ca...>  20131213 13:32:32

Hi Raffaele, What version of REDUCE are you using? I'm not seeing the behaviour you describe on an up to date svn version of REDUCE. The denominator is always cleared out. Best wishes, Eberhard On 12/13/2013 11:38 AM, Raffaele Vitolo wrote: > Dear All, > > I noticed a strange behaviour of the factorization with respect to > rational expressions. Namely, I have a rational expression where I know > that the denominator must simplify: > > g:= > (2*cf1**3*tb1*tb3**2 + 2*cf1**2*cf2*tb2*tb3**2 + 2*cf1**2*cf3*tb3**3  > 4*cf1**2* > tb1*tb2*tb3 + 2*cf1**2*tb3**2 + cf1*cf2**2*mu*tb1*tb2**2 + > 2*cf1*cf2*cf3*mu*tb1* > tb2*tb3 + 2*cf1*cf2*mu*tb1*tb2  4*cf1*cf2*tb2**2*tb3 + > cf1*cf3**2*mu*tb1*tb3**2 > + 2*cf1*cf3*mu*tb1*tb3  4*cf1*cf3*tb2*tb3**2 + cf1*mu*tb1 + > 2*cf1*tb1*tb2**2  > 4*cf1*tb2*tb3 + cf2**3*mu*tb2**3 + 3*cf2**2*cf3*mu*tb2**2*tb3 + > 3*cf2**2*mu*tb2 > **2 + 3*cf2*cf3**2*mu*tb2*tb3**2 + 6*cf2*cf3*mu*tb2*tb3 + 3*cf2*mu*tb2 + > 2*cf2* > tb2**3 + cf3**3*mu*tb3**3 + 3*cf3**2*mu*tb3**2 + 3*cf3*mu*tb3 + > 2*cf3*tb2**2*tb3 > + mu + 2*tb2**2)/(cf1*tb1 + cf2*tb2 + cf3*tb3 + 1)$ > > I do > off exp; on gcd; on ezgcd; > > then the expression correctly factorizes in numerator and denominator > but does *not* simplify: > > g; > > ((2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + > 2*cf2*cf3*mu*tb2*tb3 + 2* > cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2)*(cf1*tb1 + > cf2*tb2 + cf3*tb3 + 1))/(cf3*tb3 + 1 + cf2*tb2 + cf1*tb1)$ > > you may see that the two equal factors are written with summands in > different order. > > Then if I do off ezgcd; off gcd; on exp; > and call g; I have the simplification to: > > 2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + > 2*cf2*cf3*mu*tb2*tb3 + 2* > cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2$ > > Is this the correct behaviour? I thought that simplification should > occur at the factorization stage ... maybe a bug due to the 'strange' > reordering of terms in the denominator after factorization? > > Raf. > > > >  > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15day FREE TRIAL of AppDynamics Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk > _______________________________________________ > Reducealgebradevelopers mailing list > Reducealgebradevelopers@... > https://lists.sourceforge.net/lists/listinfo/reducealgebradevelopers 
From: Raffaele Vitolo <raffaele.vitolo@un...>  20131213 10:56:12

Dear All, I noticed a strange behaviour of the factorization with respect to rational expressions. Namely, I have a rational expression where I know that the denominator must simplify: g:= (2*cf1**3*tb1*tb3**2 + 2*cf1**2*cf2*tb2*tb3**2 + 2*cf1**2*cf3*tb3**3  4*cf1**2* tb1*tb2*tb3 + 2*cf1**2*tb3**2 + cf1*cf2**2*mu*tb1*tb2**2 + 2*cf1*cf2*cf3*mu*tb1* tb2*tb3 + 2*cf1*cf2*mu*tb1*tb2  4*cf1*cf2*tb2**2*tb3 + cf1*cf3**2*mu*tb1*tb3**2 + 2*cf1*cf3*mu*tb1*tb3  4*cf1*cf3*tb2*tb3**2 + cf1*mu*tb1 + 2*cf1*tb1*tb2**2  4*cf1*tb2*tb3 + cf2**3*mu*tb2**3 + 3*cf2**2*cf3*mu*tb2**2*tb3 + 3*cf2**2*mu*tb2 **2 + 3*cf2*cf3**2*mu*tb2*tb3**2 + 6*cf2*cf3*mu*tb2*tb3 + 3*cf2*mu*tb2 + 2*cf2* tb2**3 + cf3**3*mu*tb3**3 + 3*cf3**2*mu*tb3**2 + 3*cf3*mu*tb3 + 2*cf3*tb2**2*tb3 + mu + 2*tb2**2)/(cf1*tb1 + cf2*tb2 + cf3*tb3 + 1)$ I do off exp; on gcd; on ezgcd; then the expression correctly factorizes in numerator and denominator but does *not* simplify: g; ((2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + 2*cf2*cf3*mu*tb2*tb3 + 2* cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2)*(cf1*tb1 + cf2*tb2 + cf3*tb3 + 1))/(cf3*tb3 + 1 + cf2*tb2 + cf1*tb1)$ you may see that the two equal factors are written with summands in different order. Then if I do off ezgcd; off gcd; on exp; and call g; I have the simplification to: 2*cf1**2*tb3**2  4*cf1*tb2*tb3 + cf2**2*mu*tb2**2 + 2*cf2*cf3*mu*tb2*tb3 + 2* cf2*mu*tb2 + cf3**2*mu*tb3**2 + 2*cf3*mu*tb3 + mu + 2*tb2**2$ Is this the correct behaviour? I thought that simplification should occur at the factorization stage ... maybe a bug due to the 'strange' reordering of terms in the denominator after factorization? Raf. 