Re: [WIP] A Big O notation and algebra for D

2017-06-30 Thread Mark via Digitalmars-d 
On Friday, 30 June 2017 at 16:28:18 UTC, Andrei Alexandrescu 
wrote:

On 06/30/2017 12:01 PM, Mark wrote:
On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei 
Alexandrescu wrote:
Article: http://erdani.com/d/bigo.html (do not publish; 
should do it with Mike)


Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei


Was this project abandoned? It's no longer in std/experimental.


I'll get to it. -- Andrei


No hurry. It just seemed really interesting. :)

Re: [WIP] A Big O notation and algebra for D

2017-06-30 Thread Andrei Alexandrescu via Digitalmars-d 

On 06/30/2017 12:01 PM, Mark wrote:

On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:
Article: http://erdani.com/d/bigo.html (do not publish; should do it 
with Mike)


Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei


Was this project abandoned? It's no longer in std/experimental.


I'll get to it. -- Andrei

Re: [WIP] A Big O notation and algebra for D

2017-06-30 Thread Mark via Digitalmars-d 
On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu 
wrote:
Article: http://erdani.com/d/bigo.html (do not publish; should 
do it with Mike)


Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei


Was this project abandoned? It's no longer in std/experimental.

Re: [WIP] A Big O notation and algebra for D

2016-12-18 Thread Timothee Cour via Digitalmars-d 
https://en.wikipedia.org/wiki/Lattice_(order)

On Sun, Dec 18, 2016 at 10:46 AM, John Colvin via Digitalmars-d <
digitalmars-d@puremagic.com> wrote:

> On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:
>
>> Article: http://erdani.com/d/bigo.html (do not publish; should do it
>> with Mike)
>>
>> Code (preliminary): https://github.com/dlang/phobos/pull/4965
>>
>>
>> Andrei
>>
>
> static assert(
>>   complexity!(insertFrontMany!MyC) <= O("n2") * log(O("n1")),
>>   "Too high complexity for insertFrontMany.");
>>
>
> You defined insertFrontMany as taking 2 template arguments, but here you
> only give it 1.
>
> as the top of the lattice defined by the partial order ≤.
>>
>
> reads weird to me. s/lattice/ladder ?
>

Re: [WIP] A Big O notation and algebra for D

2016-12-18 Thread John Colvin via Digitalmars-d 
On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu 
wrote:
Article: http://erdani.com/d/bigo.html (do not publish; should 
do it with Mike)


Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei



static assert(
  complexity!(insertFrontMany!MyC) <= O("n2") * log(O("n1")),
  "Too high complexity for insertFrontMany.");


You defined insertFrontMany as taking 2 template arguments, but 
here you only give it 1.



as the top of the lattice defined by the partial order ≤.


reads weird to me. s/lattice/ladder ?

[WIP] A Big O notation and algebra for D

2016-12-18 Thread Andrei Alexandrescu via Digitalmars-d 
Article: http://erdani.com/d/bigo.html (do not publish; should do it 
with Mike)


Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei