Eban numbers: Difference between revisions

</pre>

=={{header|Tailspin}}==

<lang tailspin>

templates isEban

composer eban

<valid|not>

valid: <'([246]|[3456][0246])(0[03456][0246])*$$'>

not: (<'[0-9]+'>)

end eban

def number: $it;

'$it;' -> eban -> $number !

end isEban

def small: [1..1000 -> isEban];

$small -> !OUT::write

'

There are $small::length; eban numbers up to and including 1000

' -> !OUT::write

def next: [1000..4000 -> isEban];

$next -> !OUT::write

'

There are $next::length; eban numbers between 1000 and 4000 (inclusive)

' -> !OUT::write

'

There are $([1..10000 -> isEban] -> $it::length) eban numbers up to and including 10 000

' -> !OUT::write

'

There are $([1..100000 -> isEban] -> $it::length) eban numbers up to and including 100 000

' -> !OUT::write

'

There are $([1..1000000 -> isEban] -> $it::length) eban numbers up to and including 1 000 000

' -> !OUT::write

'

There are $([1..10000000 -> isEban] -> $it::length) eban numbers up to and including 10 000 000

' -> !OUT::write

</lang>

{{out}}

<pre>

[2, 4, 6, 30, 32, 34, 36, 40, 42, 44, 46, 50, 52, 54, 56, 60, 62, 64, 66]

There are 19 eban numbers up to and including 1000

[2000, 2002, 2004, 2006, 2030, 2032, 2034, 2036, 2040, 2042, 2044, 2046, 2050, 2052, 2054, 2056, 2060, 2062, 2064, 2066, 4000]

There are 21 eban numbers between 1000 and 4000 (inclusive)

There are 79 eban numbers up to and including 10 000

There are 399 eban numbers up to and including 100 000

There are 399 eban numbers up to and including 1 000 000

There are 1599 eban numbers up to and including 10 000 000