From owner-sc22wg5@open-std.org Wed Jul 14 20:33:05 2010 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www2.open-std.org Received: by www2.open-std.org (Postfix, from userid 521) id 78854C3BA04; Wed, 14 Jul 2010 20:33:05 +0200 (CEST) X-Original-To: sc22wg5@open-std.org Delivered-To: sc22wg5@open-std.org X-Greylist: delayed 313 seconds by postgrey-1.18 at www2.open-std.org; Wed, 14 Jul 2010 20:33:04 CEST Received: from n67.bullet.mail.sp1.yahoo.com (n67.bullet.mail.sp1.yahoo.com [98.136.44.47]) by www2.open-std.org (Postfix) with SMTP id 0D5D6C178E4 for ; Wed, 14 Jul 2010 20:33:03 +0200 (CEST) Received: from [216.252.122.219] by n67.bullet.mail.sp1.yahoo.com with NNFMP; 14 Jul 2010 18:27:47 -0000 Received: from [98.136.44.161] by t4.bullet.sp1.yahoo.com with NNFMP; 14 Jul 2010 18:27:47 -0000 Received: from [127.0.0.1] by omp602.mail.sp1.yahoo.com with NNFMP; 14 Jul 2010 18:27:47 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 106423.24668.bm@omp602.mail.sp1.yahoo.com Received: (qmail 29783 invoked by uid 60001); 14 Jul 2010 18:27:47 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1279132066; bh=esH5H96UYcqJJfwKoUjzYztakv337yrgKQHmIeKLMt0=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=XaY3cH7OxGUpY4czn/x/EKWjWJyBqredRN3jfk/5/MRhwVblj/npQzy2JiuLjpOL82bGGY5jFl/SOGnzFW84cPYqKTzmcNxMKwCf3tzg5VyZyUyLureQD4ZVBfhTWLFdt4p8Q35QUSRD/4rtFxFXKo66XB3JIqSe2tcKraSmUCE= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=HMuMeI5yD6pEEJEQCvq3k3RI4mgSo4ptq7HbMPLRNfNpVcX9bwKftZKS99a0SquxQwgevhX/JrTs9KGgP4fzUSq6MN2pLUgjT3L+9V4tE4ydDEt6W5PYhijv8mxjOtIfnw0mXbPDVmriCReNKo3ryQ5kXUjBTjSfwt0TQicGsZE=; Message-ID: <950814.24263.qm@web180715.mail.sp1.yahoo.com> X-YMail-OSG: tYGLCUwVM1mxXMphpff4L_rF.U3HV2_bMZ2f.0Re5sEAVYy _H68IwXiHrwyRzMyRy4.Td66Wx96M5HG8g9GJDkfw6emzal1JrfEwstom_FW lAWAZuqN82TMhtv8QGW978vHEPHrBmebpuOmLMO68kOCLp30SpjCTCr0z9PT 8hylfHKO24aNepbQ2o4DpjVm06yvuFh3N_wEntMMBFf8GqohV35EbwH6.Ro9 3Y1P7Pkf8oP5Yi1B_CMNhjTZLsiF_PmI5xa.1mAu9DxXzlF3_0tfsR1e72ng uhXPiejoV4Nnd.y3k6tMVTYtgyx3HyXnu Received: from [24.118.48.191] by web180715.mail.sp1.yahoo.com via HTTP; Wed, 14 Jul 2010 11:27:46 PDT X-Mailer: YahooMailRC/420.4 YahooMailWebService/0.8.104.276605 References: <20100714154320.CE3BBC178DF@www2.open-std.org> <4C3DE016.80305@cray.com> <20100714160852.14E1BC178DF@www2.open-std.org> Date: Wed, 14 Jul 2010 11:27:46 -0700 (PDT) From: Richard hendrickson Subject: Re: (j3.2006) (SC22WG5.4296) Fw: a question about IS CONTIGUOUS To: WG5 In-Reply-To: <20100714160852.14E1BC178DF@www2.open-std.org> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1977699008-1279132066=:24263" Sender: owner-sc22wg5@open-std.org Precedence: bulk --0-1977699008-1279132066=:24263 Content-Type: text/plain; charset=us-ascii 5.3.7 gives the definition of a contiguous object and is_contiguous tests whether or not its argument is contiguous, according to the definitions in 5.3.7.. 5.3.7 specifically allows array sections. By those rules I'd say the results of the following are "obvious" after enough study. is_contiguous(array(1::2)) true or false, depends on the value between the colons is_contiguous(array(1:1:2)) true is_contiguous(array(1:2:2)) true is_contiguous(array(1:3:2)) false is_contiguous(array([1])) true is_contiguous(array([1,2,3,4])) true is_contiguous(array([1,3,5,2]) false The vector valued section checking could be a little slow at run time ;) . Dick Hendrickson ________________________________ From: Jim Xia To: longb@cray.com; fortran standards email list for J3 Cc: WG5 ; j3-bounces@j3-fortran.org; fortran standards email list for J3 Sent: Wed, July 14, 2010 11:08:39 AM Subject: (j3.2006) (SC22WG5.4296) Fw: a question about IS CONTIGUOUS j3-bounces@j3-fortran.org wrote on 07/14/2010 12:04:38 PM: > [image removed] > > Re: (j3.2006) (SC22WG5.4295) Fw: a question about IS CONTIGUOUS > > Bill Long > > to: > > fortran standards email list for J3 > > 07/14/2010 12:04 PM > > Sent by: > > j3-bounces@j3-fortran.org > > Cc: > > WG5 > > Please respond to longb, fortran standards email list for J3 > > 10-007:[122:6] says "An array section is an array." Seems clear enough > to not require an interp. > Then, what would be the return values of these two function calls? > IS_CONTIGUOUS (array(1::2)) > IS_CONTIGUOUS (array([1, 3, 5, 2])) Jim Xia XL Fortran Compiler Test IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7 Phone (905) 413-3444 Tie-line 313-3444 email: jimxia@ca.ibm.com D2/YF7/8200 /MKM http://www.ibm.com/software/awdtools/fortran/xlfortran > Cheers, > Bill > > > Jim Xia wrote: > > > > Jim Xia > > > > XL Fortran Compiler Test > > IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7 > > Phone (905) 413-3444 Tie-line 313-3444 > > email: jimxia@ca.ibm.com > > D2/YF7/8200 /MKM > > > > http://www.ibm.com/software/awdtools/fortran/xlfortran > > ----- Forwarded by Jim Xia/Toronto/IBM on 07/14/2010 11:34 AM ----- > > From: Jim Xia/Toronto/IBM > > To: j3-bounces@j3-fortran.org > > Date: 07/14/2010 11:16 AM > > Subject: a question about IS CONTIGUOUS > > > > > > ------------------------------------------------------------------------ > > > > > > I think the description on IS_CONTIGUOUS intrinsic has some problems. > > The standard says > > > > > > > > > > The question is: is array sections allowed to be tested by this > > intrinsic directly? > > > > For example, what will the following two queries return: > > > > IS_CONTIGUOUS (array(1::2)) > > IS_CONTIGUOUS (array([1, 3, 5, 2])) > > > > Should this be an interp? > > > > > > Jim Xia > > > > XL Fortran Compiler Test > > IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7 > > Phone (905) 413-3444 Tie-line 313-3444 > > email: jimxia@ca.ibm.com > > D2/YF7/8200 /MKM > > > > http://www.ibm.com/software/awdtools/fortran/xlfortran > > > > -- > Bill Long longb@cray.com > Fortran Technical Support & voice: 651-605-9024 > Bioinformatics Software Development fax: 651-605-9142 > Cray Inc./Cray Plaza, Suite 210/380 Jackson St./St. Paul, MN 55101 > > > _______________________________________________ > J3 mailing list > J3@j3-fortran.org > http://j3-fortran.org/mailman/listinfo/j3 --0-1977699008-1279132066=:24263 Content-Type: text/html; charset=us-ascii
5.3.7 gives the definition of a contiguous object and is_contiguous tests whether or not its argument is contiguous, according to the definitions in 5.3.7..  5.3.7 specifically allows array sections.  By those rules I'd say the results of the following are "obvious" after enough study.

is_contiguous(array(1::2))      true or false, depends on the value between the colons
is_contiguous(array(1:1:2))    true
is_contiguous(array(1:2:2))   true
is_contiguous(array(1:3:2))     false

is_contiguous(array([1]))       true
is_contiguous(array([1,2,3,4]))     true
is_contiguous(array([1,3,5,2])    false

The vector valued section checking could be a little slow at run time ;) .

Dick Hendrickson
From: Jim Xia <jimxia@ca.ibm.com>
To: longb@cray.com; fortran standards email list for J3 <j3@j3-fortran.org>
Cc: WG5 <sc22wg5@open-std.org>; j3-bounces@j3-fortran.org; fortran standards email list for J3 <j3@j3-fortran.org>
Sent: Wed, July 14, 2010 11:08:39 AM
Subject: (j3.2006) (SC22WG5.4296) Fw: a question about IS CONTIGUOUS


j3-bounces@j3-fortran.org wrote on 07/14/2010 12:04:38 PM:

> [image removed]
>
> Re: (j3.2006) (SC22WG5.4295) Fw: a question about IS CONTIGUOUS
>
> Bill Long
>
> to:
>
> fortran standards email list for J3
>
> 07/14/2010 12:04 PM
>
> Sent by:
>
> j3-bounces@j3-fortran.org
>
> Cc:
>
> WG5
>
> Please respond to longb, fortran standards email list for J3
>
> 10-007:[122:6] says "An array section is an array."   Seems clear enough
> to not require an interp.
>

Then, what would be the return values of these two function calls?

>     IS_CONTIGUOUS (array(1::2))
>     IS_CONTIGUOUS (array([1, 3, 5, 2]))
Jim Xia

XL Fortran Compiler Test
IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7
Phone (905) 413-3444  Tie-line 313-3444
email: jimxia@ca.ibm.com
D2/YF7/8200 /MKM

http://www.ibm.com/software/awdtools/fortran/xlfortran

> Cheers,
> Bill
>
>
> Jim Xia wrote:
> >
> > Jim Xia
> >
> > XL Fortran Compiler Test
> > IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7
> > Phone (905) 413-3444  Tie-line 313-3444
> > email: jimxia@ca.ibm.com
> > D2/YF7/8200 /MKM
> >
> > http://www.ibm.com/software/awdtools/fortran/xlfortran
> > ----- Forwarded by Jim Xia/Toronto/IBM on 07/14/2010 11:34 AM -----
> > From:    Jim Xia/Toronto/IBM
> > To:    j3-bounces@j3-fortran.org
> > Date:    07/14/2010 11:16 AM
> > Subject:    a question about IS CONTIGUOUS
> >
> >
> > ------------------------------------------------------------------------
> >
> >
> > I think the description on IS_CONTIGUOUS intrinsic has some problems.
> >  The standard says
> >
> >
> >
> >
> > The question is: is array sections allowed to be tested by this
> > intrinsic directly?
> >
> > For example, what will the following two queries return:
> >
> >     IS_CONTIGUOUS (array(1::2))
> >     IS_CONTIGUOUS (array([1, 3, 5, 2]))
> >
> > Should this be an interp?
> >
> >
> > Jim Xia
> >
> > XL Fortran Compiler Test
> > IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7
> > Phone (905) 413-3444  Tie-line 313-3444
> > email: jimxia@ca.ibm.com
> > D2/YF7/8200 /MKM
> >
> > http://www.ibm.com/software/awdtools/fortran/xlfortran
> >
>
> --
> Bill Long                                           longb@cray.com
> Fortran Technical Support    &                 voice: 651-605-9024
> Bioinformatics Software Development            fax:   651-605-9142
> Cray Inc./Cray Plaza, Suite 210/380 Jackson St./St. Paul, MN 55101
>
>
> _______________________________________________
> J3 mailing list
> J3@j3-fortran.org
> http://j3-fortran.org/mailman/listinfo/j3
--0-1977699008-1279132066=:24263--