Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.soft-sys.math.maple > #1140 > unrolled thread

0^k

Started bypeter.luschny@gmail.com
First post2015-06-23 01:19 -0700
Last post2015-06-24 19:45 +0200
Articles 8 — 4 participants

Back to article view | Back to comp.soft-sys.math.maple


Contents

  0^k peter.luschny@gmail.com - 2015-06-23 01:19 -0700
    Re: 0^k "G. A. Edgar" <edgar@math.ohio-state.edu.invalid> - 2015-06-23 05:27 -0600
      Re: 0^k peter.luschny@gmail.com - 2015-06-23 06:59 -0700
        Re: 0^k Rainer Rosenthal <r.rosenthal@web.de> - 2015-06-23 17:07 +0200
          Re: 0^k peter.luschny@gmail.com - 2015-06-23 09:17 -0700
            Re: 0^k Rainer Rosenthal <r.rosenthal@web.de> - 2015-06-23 23:38 +0200
            Re: 0^k "G. A. Edgar" <edgar@math.ohio-state.edu.invalid> - 2015-06-24 06:22 -0600
              Re: 0^k Axel Vogt <&noreply@axelvogt.de> - 2015-06-24 19:45 +0200

#1140 — 0^k

Frompeter.luschny@gmail.com
Date2015-06-23 01:19 -0700
Subject0^k
Message-ID<59d5f2e4-37da-4b46-8a8c-9f688ca3b99e@googlegroups.com>
in: 0^0;
out: 1
in: seq(0^k, k=0..6);
out: 0, 0, 0, 0, 0, 0, 0

[toc] | [next] | [standalone]


#1141

From"G. A. Edgar" <edgar@math.ohio-state.edu.invalid>
Date2015-06-23 05:27 -0600
Message-ID<230620150527496642%edgar@math.ohio-state.edu.invalid>
In reply to#1140
In article <59d5f2e4-37da-4b46-8a8c-9f688ca3b99e@googlegroups.com>,
<peter.luschny@gmail.com> wrote:

> in: 0^0;
> out: 1
> in: seq(0^k, k=0..6);
> out: 0, 0, 0, 0, 0, 0, 0
> 

0/0;
seq(k/k,k=0..6);

-- 
G. A. Edgar                              http://www.math.ohio-state.edu/~edgar/

[toc] | [prev] | [next] | [standalone]


#1142

Frompeter.luschny@gmail.com
Date2015-06-23 06:59 -0700
Message-ID<f85fd0f6-7637-4294-a0b9-d84fb842cbee@googlegroups.com>
In reply to#1141
peter.luschny wrote:
>> in: 0^0;
>> out: 1
>> in: seq(0^k, k=0..6);
>> out: 0, 0, 0, 0, 0, 0, 0

G. A. Edgar wrote: 
> 0/0;
> seq(k/k,k=0..6);

... which gives "Error, numeric exception: division by zero"
and 1, 1, 1, 1, 1, 1, 1 respectively.

Holy Vladimir B., another bucket full of Maple bugs!

The Maple help says: "The precise semantics ... of the seq 
call can best be understood by defining them in terms of 
the for-loop as follows." 

SEQ := proc(f,m,n)
   S := NULL;
   old := i;
   for i from m to n do S := S,f(i) end do;
   i := old;
   S; # the result
end;

In:  SEQ(k -> 0^k,0,6);
Out: 1, 0, 0, 0, 0, 0, 0
In: SEQ(k -> k/k,0,6);
Out: Error, (in unknown) numeric exception: division by zero

This mean that these guys at Maple do not understand the
"precise semantics" which they define in their docs?

[toc] | [prev] | [next] | [standalone]


#1143

FromRainer Rosenthal <r.rosenthal@web.de>
Date2015-06-23 17:07 +0200
Message-ID<cutb05Fts3gU1@mid.individual.net>
In reply to#1142
Am 23.06.2015 um 15:59 schrieb peter.luschny@gmail.com:
> peter.luschny wrote:
>>> in: 0^0;
>>> out: 1
>>> in: seq(0^k, k=0..6);
>>> out: 0, 0, 0, 0, 0, 0, 0
> 
> G. A. Edgar wrote: 
>> 0/0;
>> seq(k/k,k=0..6);
> 
in: seq(0^k, k=-1..-1);
out: 0
in: 0^(-1);
out: Error, numeric exception: division by zero

Cheers,
Rainer

[toc] | [prev] | [next] | [standalone]


#1144

Frompeter.luschny@gmail.com
Date2015-06-23 09:17 -0700
Message-ID<ad60240e-f2fa-47a8-90c5-dc564f867c03@googlegroups.com>
In reply to#1143
Rainer Rosenthal:
> in: seq(0^k, k=-1..-1);
> out: 0
> in: 0^(-1);
> out: Error, numeric exception: division by zero

Based on this performance the OEIS Foundation should create 
a prize, say the 'Golden Vladimir Award' for the best bug 
of the year, and assign it to Maple.

[toc] | [prev] | [next] | [standalone]


#1145

FromRainer Rosenthal <r.rosenthal@web.de>
Date2015-06-23 23:38 +0200
Message-ID<cuu1rrF5allU1@mid.individual.net>
In reply to#1144
Am 23.06.2015 um 18:17 schrieb peter.luschny@gmail.com:
> Rainer Rosenthal:
>> in: seq(0^k, k=-1..-1);
>> out: 0
>> in: 0^(-1);
>> out: Error, numeric exception: division by zero
> 
> Based on this performance the OEIS Foundation should create 
> a prize, say the 'Golden Vladimir Award' for the best bug 
> of the year, and assign it to Maple.
> 

0^(

[toc] | [prev] | [next] | [standalone]


#1146

From"G. A. Edgar" <edgar@math.ohio-state.edu.invalid>
Date2015-06-24 06:22 -0600
Message-ID<240620150622365031%edgar@math.ohio-state.edu.invalid>
In reply to#1144
In article <ad60240e-f2fa-47a8-90c5-dc564f867c03@googlegroups.com>,
<peter.luschny@gmail.com> wrote:

> Rainer Rosenthal:
> > in: seq(0^k, k=-1..-1);
> > out: 0
> > in: 0^(-1);
> > out: Error, numeric exception: division by zero
> 
> Based on this performance the OEIS Foundation should create 
> a prize, say the 'Golden Vladimir Award' for the best bug 
> of the year, and assign it to Maple.

The "explanation" is that 0^k simplifies to 0, and that happens at such
a low level that the seq doesn't ever see 0^0.

-- 
G. A. Edgar                              http://www.math.ohio-state.edu/~edgar/

[toc] | [prev] | [next] | [standalone]


#1147

FromAxel Vogt <&noreply@axelvogt.de>
Date2015-06-24 19:45 +0200
Message-ID<cv08liF38l9U1@mid.individual.net>
In reply to#1146
On 24.06.2015 14:22, G. A. Edgar wrote:
> In article <ad60240e-f2fa-47a8-90c5-dc564f867c03@googlegroups.com>,
> <peter.luschny@gmail.com> wrote:
>
>> Rainer Rosenthal:
>>> in: seq(0^k, k=-1..-1);
>>> out: 0
>>> in: 0^(-1);
>>> out: Error, numeric exception: division by zero
>>
>> Based on this performance the OEIS Foundation should create
>> a prize, say the 'Golden Vladimir Award' for the best bug
>> of the year, and assign it to Maple.
>
> The "explanation" is that 0^k simplifies to 0, and that happens at such
> a low level that the seq doesn't ever see 0^0.

Indeed.

seq(`^`(0,k), k=0..6);
      1, 0, 0, 0, 0, 0, 0

seq(`^`(0,k), k=-1..1);
      Error, numeric exception: division by zero

Though nobody would enter it the formal way

[toc] | [prev] | [standalone]


Back to top | Article view | comp.soft-sys.math.maple


csiph-web