Re: [xsl] Increasing sequence ?

["Dimitre Novatchev dnovatchev@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

Hit the send button too early.

With another sequence:

   (1, 0, 2 to 100000)

increasing2() takes 77ms, while the recursive increasing() takes only
4.45ms -- or that means the recursive function is about 17 times
faster.


Maybe the BaseX developers didn't implement proper short-cutting for
the "every" expression.


Cheers,
Dimitre



On Fri, Mar 27, 2015 at 8:43 PM, Dimitre Novatchev <dnovatchev@xxxxxxxxx> wrote:
> Hi Leo,
>
> On Fri, Mar 27, 2015 at 2:36 AM, Leo Studer leo.studer@xxxxxxxxxxx
> <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
>> 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))
>
>
> With BaseX the best time was 147ms. This is 70% of the time of the
> recursive function (207ms).
>
> Cheers,
> Dimitre
>
>>
>> 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)
>>
>>
>> XSL-List info and archive
>> EasyUnsubscribe (by email)
>
>
>
> --
> Cheers,
> Dimitre Novatchev
> ---------------------------------------
> Truly great madness cannot be achieved without significant intelligence.
> ---------------------------------------
> To invent, you need a good imagination and a pile of junk
> -------------------------------------
> Never fight an inanimate object
> -------------------------------------
> To avoid situations in which you might make mistakes may be the
> biggest mistake of all
> ------------------------------------
> Quality means doing it right when no one is looking.
> -------------------------------------
> You've achieved success in your field when you don't know whether what
> you're doing is work or play
> -------------------------------------
> To achieve the impossible dream, try going to sleep.
> -------------------------------------
> Facts do not cease to exist because they are ignored.
> -------------------------------------
> Typing monkeys will write all Shakespeare's works in 200yrs.Will they
> write all patents, too? :)
> -------------------------------------
> I finally figured out the only reason to be alive is to enjoy it.



-- 
Cheers,
Dimitre Novatchev
---------------------------------------
Truly great madness cannot be achieved without significant intelligence.
---------------------------------------
To invent, you need a good imagination and a pile of junk
-------------------------------------
Never fight an inanimate object
-------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all
------------------------------------
Quality means doing it right when no one is looking.
-------------------------------------
You've achieved success in your field when you don't know whether what
you're doing is work or play
-------------------------------------
To achieve the impossible dream, try going to sleep.
-------------------------------------
Facts do not cease to exist because they are ignored.
-------------------------------------
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
-------------------------------------
I finally figured out the only reason to be alive is to enjoy it.