Subject: Re: [xsl] Increasing sequence ? From: "Leo Studer leo.studer@xxxxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> Date: Fri, 27 Mar 2015 09:36:27 -0000 |
Dimitre thanks, this is amazing. With Saxon EE in Oxygen 16.1 I get stack overflow with 10000 ;-). Can you compare the time with this solution? declare namespace my = "my:my"; declare function my:increasing2($seq as xs:double*)as xs:boolean {every $v in 1 to (count($seq)-1) satisfies ($seq[$v] lt $seq[$v+1])}; let $v:=(1 to 1000000) return (my:increasing2($v)) Cheers Leo > On 27.03.2015, at 05:24, Dimitre Novatchev dnovatchev@xxxxxxxxx <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote: > > Hi Leo, > > I ran this with BaseX 7.8.2: > > declare namespace my = "my:my"; > declare function my:increasing($seq as xs:double*) as xs:boolean > {empty($seq[2]) > or > $seq[1] lt $seq[2] and my:increasing(subsequence($seq, 2)) > }; > let $v:=(1 to 10000) > return my:increasing($v) > > > And here is the result (do note this below: - marking as ***tail > call***: my:increasing(fn:subsequence($seq_0, 2)) ) > > Total Time: 3.74ms (for 100 000 - long sequence the time was 17.77ms, > for 1 000 000 - long sequence the time was 207.56ms)
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: [xsl] Increasing sequence ?, Dimitre Novatchev dn | Thread | Re: [xsl] Increasing sequence ?, Wolfgang Laun wolfga |
Re: [xsl] Increasing sequence ?, Dimitre Novatchev dn | Date | Re: [xsl] Increasing sequence ?, Wolfgang Laun wolfga |
Month |