reduce-algebra-developers — Discussion of development, administration and support for Reduce

Re: [Reduce-algebra-developers] Installing Reduce Computer Algebra System

[Arthur N. <ac...@ca...>]

On Wed, 29 Oct 2014, sinu vasan wrote:
> Dear Sir
>     I am unable to install Reduce Computer Algebra System in my mac book
> pro OS X 10.10. Help me to install this software.
>

Reasonably soon we hope to have a now "portfile" for use with macports and 
that should make it easier for people to install on Yosemite. To use that 
you will need to have "macports" installed so you can use the various 
command sthat start "sudo port install ..." and so on. So please check 
that you have that all ready and I hope we will be able to help you soon.

Arthur

Re: [Reduce-algebra-developers] Installing Reduce Computer Algebra System

[Mark B. <mar...@gm...>]

It would help if you listed the errors you are seeing during the install process.

Sent from my iPhone

> On Oct 29, 2014, at 9:19 AM, sinu vasan <rsi...@gm...> wrote:
> 
> Dear Sir
>     I am unable to install Reduce Computer Algebra System in my mac book pro OS X 10.10. Help me to install this software.
> ------------------------------------------------------------------------------
> _______________________________________________
> Reduce-algebra-developers mailing list
> Red...@li...
> https://lists.sourceforge.net/lists/listinfo/reduce-algebra-developers

[Reduce-algebra-developers] Installing Reduce Computer Algebra System

[sinu v. <rsi...@gm...>]

Dear Sir
    I am unable to install Reduce Computer Algebra System in my mac book
pro OS X 10.10. Help me to install this software.

Re: [Reduce-algebra-developers] rerror question (fwd)

[Kostas O. <k.o...@at...>]

Thank you Arthur and Rainer.   I was using 'rerror' instead of
'rederror' because of what I read in sec. 6.1 of the Melenk primer.
Given what both of you said, my thinking now is to revert to using
'rederrror' throughout and not bother with error numbers, symbolic or not.

                        Kostas

On 10/24/2014 06:44, Rainer Schöpf wrote:
> Two remarks:
>
> 1. I suspect that the calls to rerror were intended as a start point for a more 
> specific error management. E.g., by passing an error number and a module name, 
> Reduce would be able display a corresponding help document. This is a good idea, 
> but we would need to (a) convert everything to that scheme and (b) write 
> documentation for the errors - which would be a Good Thing anyway.
>
> 2. There is a way to use symbolic error names. If you write
>
> put('listerr,'newnam,1);
>
> you instruct the parser to replace _every_ occurence of the token listerr by the 
> token 1. Consequently, you can write
>
>  rerror('nlopt, listerr, {"list of size", n, "expected!"});
>
> You have to be careful to use identifiers that are not used elsewhere, so 
>  
>   !E!R!R!O!R!-list!-expected
>
> would be a better (and more easily understandable) identifier.
>
>   Rainer 
>
>
>
> On Fri, 24 Oct 2014 at 08:21 +0100, Arthur Norman wrote:
>
>  > I am replying to this via the general list first in case it is useful to 
>  > anybody else and secondly because an attempt at a direct response saw my 
>  > email bounced, so I hope this is a way to get through.
>  > 
>  > On Thu, 23 Oct 2014, Kostas Oikonomou wrote:
>  > > Is it possible to define a "constant" in your module and use it as an
>  > > error number in 'rerror(...)'?
>  > > 'rerror' seems to require a literal integer.  Managing error numbers by
>  > > literal integers is difficult.
>  > > So I'd like to be able to say smth. like
>  > > listerr := 1
>  > > ...
>  > > if not listp(bounds) or length(bounds) neq n+1 then
>  > >     rerror('nlopt, listerr, {"list of size", n, "expected!"});
>  > > But doing this results in
>  > > ***** liberr invalid as RERROR argument
>  > > Thanks.
>  > >                        Kostas
>  > 
>  > The effect you observe arises in formrerror in rlisp/form.red which is 
>  > imposing constraints on the arguments to rerror and permitting us without a 
>  > quote of arg1.
>  > 
>  > symbolic procedure formrerror(u,vars,mode);
>  >     begin scalar x;
>  >        argnochk u;
>  >        if not fixp caddr u then typerr(caddr u,"RERROR argument");
>  >        x := formc!*(cadddr u,vars,mode);
>  >        if idp cadr u then return list('rerror,mkquote cadr u,caddr u,x)
>  >         else if eqcar(cadr u,'quote) and idp cadadr u
>  >          then return list('rerror,cadr u,caddr u,x)
>  >         else typerr(cadr u,"RERROR argument")
>  >     end;
>  > 
>  > so that indeed explicitly insists on a literal numeric argument.
>  > 
>  > If you look in rlisp/lpri.red you see
>  > 
>  > symbolic procedure rerror(packagename,number,message);
>  >     progn(errmsg!* := message, rederr message);
>  > 
>  > and rerror discards/ignores its first two arguments, so there is to my mind 
>  > little huge purpose of using it rather then just calling rederr directly!
>  > 
>  > Arthur
>  > 
>  > 
>  > ------------------------------------------------------------------------------
>  > _______________________________________________
>  > Reduce-algebra-developers mailing list
>  > Red...@li...
>  > https://lists.sourceforge.net/lists/listinfo/reduce-algebra-developers
>  > 
>
>    Rainer Schöpf
>
>
> ------------------------------------------------------------------------------
>
>
> _______________________________________________
> Reduce-algebra-developers mailing list
> Red...@li...
> https://lists.sourceforge.net/lists/listinfo/reduce-algebra-developers

Re: [Reduce-algebra-developers] rerror question (fwd)

[Rainer S. <rai...@gm...>]

Two remarks:

1. I suspect that the calls to rerror were intended as a start point for a more 
specific error management. E.g., by passing an error number and a module name, 
Reduce would be able display a corresponding help document. This is a good idea, 
but we would need to (a) convert everything to that scheme and (b) write 
documentation for the errors - which would be a Good Thing anyway.

2. There is a way to use symbolic error names. If you write

put('listerr,'newnam,1);

you instruct the parser to replace _every_ occurence of the token listerr by the 
token 1. Consequently, you can write

 rerror('nlopt, listerr, {"list of size", n, "expected!"});

You have to be careful to use identifiers that are not used elsewhere, so 
 
  !E!R!R!O!R!-list!-expected

would be a better (and more easily understandable) identifier.

  Rainer 



On Fri, 24 Oct 2014 at 08:21 +0100, Arthur Norman wrote:

 > I am replying to this via the general list first in case it is useful to 
 > anybody else and secondly because an attempt at a direct response saw my 
 > email bounced, so I hope this is a way to get through.
 > 
 > On Thu, 23 Oct 2014, Kostas Oikonomou wrote:
 > > Is it possible to define a "constant" in your module and use it as an
 > > error number in 'rerror(...)'?
 > > 'rerror' seems to require a literal integer.  Managing error numbers by
 > > literal integers is difficult.
 > > So I'd like to be able to say smth. like
 > > listerr := 1
 > > ...
 > > if not listp(bounds) or length(bounds) neq n+1 then
 > >     rerror('nlopt, listerr, {"list of size", n, "expected!"});
 > > But doing this results in
 > > ***** liberr invalid as RERROR argument
 > > Thanks.
 > >                        Kostas
 > 
 > The effect you observe arises in formrerror in rlisp/form.red which is 
 > imposing constraints on the arguments to rerror and permitting us without a 
 > quote of arg1.
 > 
 > symbolic procedure formrerror(u,vars,mode);
 >     begin scalar x;
 >        argnochk u;
 >        if not fixp caddr u then typerr(caddr u,"RERROR argument");
 >        x := formc!*(cadddr u,vars,mode);
 >        if idp cadr u then return list('rerror,mkquote cadr u,caddr u,x)
 >         else if eqcar(cadr u,'quote) and idp cadadr u
 >          then return list('rerror,cadr u,caddr u,x)
 >         else typerr(cadr u,"RERROR argument")
 >     end;
 > 
 > so that indeed explicitly insists on a literal numeric argument.
 > 
 > If you look in rlisp/lpri.red you see
 > 
 > symbolic procedure rerror(packagename,number,message);
 >     progn(errmsg!* := message, rederr message);
 > 
 > and rerror discards/ignores its first two arguments, so there is to my mind 
 > little huge purpose of using it rather then just calling rederr directly!
 > 
 > Arthur
 > 
 > 
 > ------------------------------------------------------------------------------
 > _______________________________________________
 > Reduce-algebra-developers mailing list
 > Red...@li...
 > https://lists.sourceforge.net/lists/listinfo/reduce-algebra-developers
 > 

   Rainer Schöpf

Re: [Reduce-algebra-developers] rerror question (fwd)

[Arthur N. <ac...@ca...>]

I am replying to this via the general list first in case it is useful to 
anybody else and secondly because an attempt at a direct response saw my 
email bounced, so I hope this is a way to get through.

On Thu, 23 Oct 2014, Kostas Oikonomou wrote:
> Is it possible to define a "constant" in your module and use it as an
> error number in 'rerror(...)'?
> 'rerror' seems to require a literal integer.  Managing error numbers by
> literal integers is difficult.
> So I'd like to be able to say smth. like
> listerr := 1
> ...
> if not listp(bounds) or length(bounds) neq n+1 then
>     rerror('nlopt, listerr, {"list of size", n, "expected!"});
> But doing this results in
> ***** liberr invalid as RERROR argument
> Thanks.
>                        Kostas

The effect you observe arises in formrerror in rlisp/form.red which is 
imposing constraints on the arguments to rerror and permitting us without a 
quote of arg1.

symbolic procedure formrerror(u,vars,mode);
    begin scalar x;
       argnochk u;
       if not fixp caddr u then typerr(caddr u,"RERROR argument");
       x := formc!*(cadddr u,vars,mode);
       if idp cadr u then return list('rerror,mkquote cadr u,caddr u,x)
        else if eqcar(cadr u,'quote) and idp cadadr u
         then return list('rerror,cadr u,caddr u,x)
        else typerr(cadr u,"RERROR argument")
    end;

so that indeed explicitly insists on a literal numeric argument.

If you look in rlisp/lpri.red you see

symbolic procedure rerror(packagename,number,message);
    progn(errmsg!* := message, rederr message);

and rerror discards/ignores its first two arguments, so there is to my mind 
little huge purpose of using it rather then just calling rederr directly!

Arthur

[Reduce-algebra-developers] Greetings

[Jovan T. <jov...@gm...>]

Just wanted to say hello and that I was able to successfully compile reduce-csl on my ancient Puppy Linux 3 system. My only missing Library was fontconfig.

Sent from my iPhone

Re: [Reduce-algebra-developers] Mac OS Yosemite build

[Mark B. <mar...@gm...>]

X11 used to be in "/usr/X11", but in Yosemite I believe it is installed in /opt/X11.  You could try making a soft link in /usr/X11 to the new location and see if that gets you up and running.


On Oct 21, 2014, at 3:36 AM, Sette Diop <set...@gm...> wrote:

> Hi everybody,
> 
> I have been using REDUCE 3.8 (2004 binaries by Codemist Ltd) on Mac OS for all previous versions of that OS. Everything worked just fine (at least for me) until last week when I upgraded to Yosemite. Then upon launching REDUCE from Terminal I keep on receiving the following error message:
> 
> dyld: Library not loaded: /usr/X11/lib/libXcursor.1.dylib
>   Referenced from: /Library/REDUCE/r38
>   Reason: image not found
> Trace/BPT trap: 5
> 
> A list of the directory containing REDUCE files follows and shows that image files are still there but they can no more be opened by the OS
> 
> > cd /Library/REDUCE/
> > ls -al
> total 21736
> drwxrwxr--   11 seet  admin      374 Oct 17 12:08 .
> drwxr-xr-x+ 101 root  wheel     3434 Oct 17 13:32 ..
> -rw-r--r--@   1 seet  admin     6148 Jul 26 00:13 .DS_Store
> -rwxrwxrwx    1 503   admin  1249628 Oct 30  2008 csl
> -rw-rw-rw-    1 503   admin   154296 Oct 30  2008 csl.img
> drwxrwxrwx   58 503   admin     1972 Jun 20 10:59 object-files
> -rwxrwxrwx    1 503   admin  2126688 Oct 30  2008 r38
> drwxrwxrwx   56 503   admin     1904 Dec 16  2008 r38.doc
> drwxrwxrwx   20 503   admin      680 Oct 30  2008 r38.fonts
> -rw-rw-rw-    1 503   admin  3362184 Oct 30  2008 r38.img
> -rw-r--r--    1 seet  admin  4217828 Oct  8  2010 reduce.img
> 
> I have no REDUCE building experience. Thanks for any help with this, and best wishes!
> 
> Sette
> ------------------------------------------------------------------------------
> Comprehensive Server Monitoring with Site24x7.
> Monitor 10 servers for $9/Month.
> Get alerted through email, SMS, voice calls or mobile push notifications.
> Take corrective actions from your mobile device.
> http://p.sf.net/sfu/Zoho_______________________________________________
> Reduce-algebra-developers mailing list
> Red...@li...
> https://lists.sourceforge.net/lists/listinfo/reduce-algebra-developers



Mark

[Reduce-algebra-developers] Mac OS Yosemite build

[Sette D. <set...@gm...>]

Hi everybody,

I have been using REDUCE 3.8 (2004 binaries by Codemist Ltd) on Mac OS for all previous versions of that OS. Everything worked just fine (at least for me) until last week when I upgraded to Yosemite. Then upon launching REDUCE from Terminal I keep on receiving the following error message:

dyld: Library not loaded: /usr/X11/lib/libXcursor.1.dylib
  Referenced from: /Library/REDUCE/r38
  Reason: image not found
Trace/BPT trap: 5

A list of the directory containing REDUCE files follows and shows that image files are still there but they can no more be opened by the OS

> cd /Library/REDUCE/
> ls -al
total 21736
drwxrwxr--   11 seet  admin      374 Oct 17 12:08 .
drwxr-xr-x+ 101 root  wheel     3434 Oct 17 13:32 ..
-rw-r--r--@   1 seet  admin     6148 Jul 26 00:13 .DS_Store
-rwxrwxrwx    1 503   admin  1249628 Oct 30  2008 csl
-rw-rw-rw-    1 503   admin   154296 Oct 30  2008 csl.img
drwxrwxrwx   58 503   admin     1972 Jun 20 10:59 object-files
-rwxrwxrwx    1 503   admin  2126688 Oct 30  2008 r38
drwxrwxrwx   56 503   admin     1904 Dec 16  2008 r38.doc
drwxrwxrwx   20 503   admin      680 Oct 30  2008 r38.fonts
-rw-rw-rw-    1 503   admin  3362184 Oct 30  2008 r38.img
-rw-r--r--    1 seet  admin  4217828 Oct  8  2010 reduce.img

I have no REDUCE building experience. Thanks for any help with this, and best wishes!

Sette

Re: [Reduce-algebra-developers] display of expressions

[Kostas O. <k.o...@at...>]

But with "on div" I still get the output

a^-1 + b^-1

and not

1        1
---  + ---,
a         b

which is what I want.

On 10/18/2014 04:12, Rainer Schöpf wrote:
> On Sun, 12 Oct 2014 at 19:03 -0400, Kostas Oikonomou wrote:
>
>  > I am trying to make Reduce display the expression 1/a + 1/b as the sum
>  > of two fractions.
>  > "off mcd" results in a^-1 + b^-1, however.  Is there some other relevant
>  > switch that that I'm not aware of?
>
> "on div" achieves the same, by only affecting the output, not the computation.
>
>  

Re: [Reduce-algebra-developers] display of expressions

[Rainer S. <rai...@gm...>]

On Sun, 12 Oct 2014 at 19:03 -0400, Kostas Oikonomou wrote:

 > I am trying to make Reduce display the expression 1/a + 1/b as the sum
 > of two fractions.
 > "off mcd" results in a^-1 + b^-1, however.  Is there some other relevant
 > switch that that I'm not aware of?

"on div" achieves the same, by only affecting the output, not the computation.

 > Also, a suggestion for the manual, sec 8.3.2, the FACTOR declaration:
 > 
 > "All terms involving fixed powers of the declared expressions are
 > printed as a product of the fixed
 > powers and a sum of the rest of the terms."
 > 
 > It took me a while to realize that saying "factor x;" and then "expn;"
 > puts <expn> in the form of a polynomial in x,
 > if this can be done. This is a common thing to want to do, and it is not
 > clear how to do it.  I suggest adding a remark
 > to that effect after the above paragraph.

Good idea, I will do that.

  Rainer

Re: [Reduce-algebra-developers] incremental groebnerf basis computation

[Jarmo H. <hie...@ut...>]

In the email of 18 Sept.  Rainer mentioned the program groesolvidsubset!?(b1,b2,vars) to check for subcases.
It seems to be part of the groesolv module.
But how does one get access to it?   Is something like put('.......) needed somewhere?
(Same question for preduceeval)

------------------------
Reduce (Free CSL version), 14-Apr-11 ...

1: load groebner;

2: load groesolv;

3: groesolvidsubset!?({x-1},{x-2},{x}); 

Declare groesolvidsubset? operator ?  (Y or N)

Type Y or N

---------------------------

regards, Jarmo

[Reduce-algebra-developers] display of expressions

[Kostas O. <k.o...@at...>]

I am trying to make Reduce display the expression 1/a + 1/b as the sum
of two fractions.
"off mcd" results in a^-1 + b^-1, however.  Is there some other relevant
switch that that I'm not aware of?

Also, a suggestion for the manual, sec 8.3.2, the FACTOR declaration:

"All terms involving fixed powers of the declared expressions are
printed as a product of the fixed
powers and a sum of the rest of the terms."

It took me a while to realize that saying "factor x;" and then "expn;"
puts <expn> in the form of a polynomial in x,
if this can be done. This is a common thing to want to do, and it is not
clear how to do it.  I suggest adding a remark
to that effect after the above paragraph.

                Kostas

[Reduce-algebra-developers] Definitions for Dirac's Delta function.

[abpetrov <abp...@uf...>]

Hi,
I want to define Dirac's Delta function. But I found that functions with
similar name and properties exists in packages
assist, laplace, SuSy2. May be best solution is next - define this
function once in package specfn?


Best regards, Petrov Alexander.

Re: [Reduce-algebra-developers] new manual

[Rainer S. <rai...@gm...>]

On Tue, 30 Sep 2014 at 17:22 -0400, Kostas Oikonomou wrote:

 > I knew that, but they are available even without loading the package. 
 > Is it somehow auto-loaded?

Yes, the autoload definitions are in

   packages/support/entry.red

As Arthur has pointed out before, it would be much easier to load all these 
small packages into the Reduce image instead. I tend to agree, but one has to be 
careful to not introduce incompatibilities - some packages need revisions first.

  Rainer