Mangarevan Counting
June 20, 2017
Here are our conversion functions:
(define (integer->mangareva n)
(when (not (<= 1 n 799))
(error 'integer->mangareva "out of range"))
(let loop ((n n) (m (list)))
(cond ((<= 80 n) (loop (remainder n 80)
(cons "V" (cons (number->string (quotient n 80)) m))))
((<= 40 n) (loop (- n 40) (cons "T" m)))
((<= 20 n) (loop (- n 20) (cons "P" m)))
((<= 10 n) (loop (- n 10) (cons "K" m)))
((<= 1 n) (loop 0 (cons (number->string n) m)))
(else (apply string-append (reverse m))))))
(define (mangareva->integer str)
(define (digit? c) (char<=? #\1 c #\9))
(let loop ((cs (string->list str)) (n 0))
(list-match cs
(() n)
((m) (digit? m) (loop '() (+ n (char->integer m) -48)))
((#\K . rest) (loop rest (+ n 10)))
((#\P . rest) (loop rest (+ n 20)))
((#\T . rest) (loop rest (+ n 40)))
((m #\V . rest) (digit? m)
(loop rest (+ n (* (- (char->integer m) 48) 80))))
(else (error 'mangareva->integer "not a number")))))
We used pattern matching for the conversion from Mangarevan to integer, because it’s much easier to read than parsing each element of the number. Note that our error checking is not sufficient to find all mis-formed Mangarevan numbers. It’s easy to do an exhaustive test:
> (do ((n 1 (+ n 1))) ((= n 800)) (assert (mangareva->integer (integer->mangareva n)) n))
That writes nothing, on the theory that no news is good news. Here’s a complete list of Mangarevan counting numbers:
> (map integer->mangareva (range 1 800))
("1" "2" "3" "4" "5" "6" "7" "8" "9" "K" "K1" "K2" "K3" "K4"
"K5" "K6" "K7" "K8" "K9" "P" "P1" "P2" "P3" "P4" "P5" "P6"
"P7" "P8" "P9" "PK" "PK1" "PK2" "PK3" "PK4" "PK5" "PK6"
"PK7" "PK8" "PK9" "T" "T1" "T2" "T3" "T4" "T5" "T6" "T7"
"T8" "T9" "TK" "TK1" "TK2" "TK3" "TK4" "TK5" "TK6" "TK7"
"TK8" "TK9" "TP" "TP1" "TP2" "TP3" "TP4" "TP5" "TP6" "TP7"
"TP8" "TP9" "TPK" "TPK1" "TPK2" "TPK3" "TPK4" "TPK5" "TPK6"
"TPK7" "TPK8" "TPK9" "1V" "1V1" "1V2" "1V3" "1V4" "1V5"
"1V6" "1V7" "1V8" "1V9" "1VK" "1VK1" "1VK2" "1VK3" "1VK4"
"1VK5" "1VK6" "1VK7" "1VK8" "1VK9" "1VP" "1VP1" "1VP2"
"1VP3" "1VP4" "1VP5" "1VP6" "1VP7" "1VP8" "1VP9" "1VPK"
"1VPK1" "1VPK2" "1VPK3" "1VPK4" "1VPK5" "1VPK6" "1VPK7"
"1VPK8" "1VPK9" "1VT" "1VT1" "1VT2" "1VT3" "1VT4" "1VT5"
"1VT6" "1VT7" "1VT8" "1VT9" "1VTK" "1VTK1" "1VTK2" "1VTK3"
"1VTK4" "1VTK5" "1VTK6" "1VTK7" "1VTK8" "1VTK9" "1VTP"
"1VTP1" "1VTP2" "1VTP3" "1VTP4" "1VTP5" "1VTP6" "1VTP7"
"1VTP8" "1VTP9" "1VTPK" "1VTPK1" "1VTPK2" "1VTPK3" "1VTPK4"
"1VTPK5" "1VTPK6" "1VTPK7" "1VTPK8" "1VTPK9" "2V" "2V1"
"2V2" "2V3" "2V4" "2V5" "2V6" "2V7" "2V8" "2V9" "2VK" "2VK1"
"2VK2" "2VK3" "2VK4" "2VK5" "2VK6" "2VK7" "2VK8" "2VK9"
"2VP" "2VP1" "2VP2" "2VP3" "2VP4" "2VP5" "2VP6" "2VP7"
"2VP8" "2VP9" "2VPK" "2VPK1" "2VPK2" "2VPK3" "2VPK4" "2VPK5"
"2VPK6" "2VPK7" "2VPK8" "2VPK9" "2VT" "2VT1" "2VT2" "2VT3"
"2VT4" "2VT5" "2VT6" "2VT7" "2VT8" "2VT9" "2VTK" "2VTK1"
"2VTK2" "2VTK3" "2VTK4" "2VTK5" "2VTK6" "2VTK7" "2VTK8"
"2VTK9" "2VTP" "2VTP1" "2VTP2" "2VTP3" "2VTP4" "2VTP5"
"2VTP6" "2VTP7" "2VTP8" "2VTP9" "2VTPK" "2VTPK1" "2VTPK2"
"2VTPK3" "2VTPK4" "2VTPK5" "2VTPK6" "2VTPK7" "2VTPK8"
"2VTPK9" "3V" "3V1" "3V2" "3V3" "3V4" "3V5" "3V6" "3V7"
"3V8" "3V9" "3VK" "3VK1" "3VK2" "3VK3" "3VK4" "3VK5" "3VK6"
"3VK7" "3VK8" "3VK9" "3VP" "3VP1" "3VP2" "3VP3" "3VP4"
"3VP5" "3VP6" "3VP7" "3VP8" "3VP9" "3VPK" "3VPK1" "3VPK2"
"3VPK3" "3VPK4" "3VPK5" "3VPK6" "3VPK7" "3VPK8" "3VPK9"
"3VT" "3VT1" "3VT2" "3VT3" "3VT4" "3VT5" "3VT6" "3VT7"
"3VT8" "3VT9" "3VTK" "3VTK1" "3VTK2" "3VTK3" "3VTK4" "3VTK5"
"3VTK6" "3VTK7" "3VTK8" "3VTK9" "3VTP" "3VTP1" "3VTP2"
"3VTP3" "3VTP4" "3VTP5" "3VTP6" "3VTP7" "3VTP8" "3VTP9"
"3VTPK" "3VTPK1" "3VTPK2" "3VTPK3" "3VTPK4" "3VTPK5"
"3VTPK6" "3VTPK7" "3VTPK8" "3VTPK9" "4V" "4V1" "4V2" "4V3"
"4V4" "4V5" "4V6" "4V7" "4V8" "4V9" "4VK" "4VK1" "4VK2"
"4VK3" "4VK4" "4VK5" "4VK6" "4VK7" "4VK8" "4VK9" "4VP"
"4VP1" "4VP2" "4VP3" "4VP4" "4VP5" "4VP6" "4VP7" "4VP8"
"4VP9" "4VPK" "4VPK1" "4VPK2" "4VPK3" "4VPK4" "4VPK5"
"4VPK6" "4VPK7" "4VPK8" "4VPK9" "4VT" "4VT1" "4VT2" "4VT3"
"4VT4" "4VT5" "4VT6" "4VT7" "4VT8" "4VT9" "4VTK" "4VTK1"
"4VTK2" "4VTK3" "4VTK4" "4VTK5" "4VTK6" "4VTK7" "4VTK8"
"4VTK9" "4VTP" "4VTP1" "4VTP2" "4VTP3" "4VTP4" "4VTP5"
"4VTP6" "4VTP7" "4VTP8" "4VTP9" "4VTPK" "4VTPK1" "4VTPK2"
"4VTPK3" "4VTPK4" "4VTPK5" "4VTPK6" "4VTPK7" "4VTPK8"
"4VTPK9" "5V" "5V1" "5V2" "5V3" "5V4" "5V5" "5V6" "5V7"
"5V8" "5V9" "5VK" "5VK1" "5VK2" "5VK3" "5VK4" "5VK5" "5VK6"
"5VK7" "5VK8" "5VK9" "5VP" "5VP1" "5VP2" "5VP3" "5VP4"
"5VP5" "5VP6" "5VP7" "5VP8" "5VP9" "5VPK" "5VPK1" "5VPK2"
"5VPK3" "5VPK4" "5VPK5" "5VPK6" "5VPK7" "5VPK8" "5VPK9"
"5VT" "5VT1" "5VT2" "5VT3" "5VT4" "5VT5" "5VT6" "5VT7"
"5VT8" "5VT9" "5VTK" "5VTK1" "5VTK2" "5VTK3" "5VTK4" "5VTK5"
"5VTK6" "5VTK7" "5VTK8" "5VTK9" "5VTP" "5VTP1" "5VTP2"
"5VTP3" "5VTP4" "5VTP5" "5VTP6" "5VTP7" "5VTP8" "5VTP9"
"5VTPK" "5VTPK1" "5VTPK2" "5VTPK3" "5VTPK4" "5VTPK5"
"5VTPK6" "5VTPK7" "5VTPK8" "5VTPK9" "6V" "6V1" "6V2" "6V3"
"6V4" "6V5" "6V6" "6V7" "6V8" "6V9" "6VK" "6VK1" "6VK2"
"6VK3" "6VK4" "6VK5" "6VK6" "6VK7" "6VK8" "6VK9" "6VP"
"6VP1" "6VP2" "6VP3" "6VP4" "6VP5" "6VP6" "6VP7" "6VP8"
"6VP9" "6VPK" "6VPK1" "6VPK2" "6VPK3" "6VPK4" "6VPK5"
"6VPK6" "6VPK7" "6VPK8" "6VPK9" "6VT" "6VT1" "6VT2" "6VT3"
"6VT4" "6VT5" "6VT6" "6VT7" "6VT8" "6VT9" "6VTK" "6VTK1"
"6VTK2" "6VTK3" "6VTK4" "6VTK5" "6VTK6" "6VTK7" "6VTK8"
"6VTK9" "6VTP" "6VTP1" "6VTP2" "6VTP3" "6VTP4" "6VTP5"
"6VTP6" "6VTP7" "6VTP8" "6VTP9" "6VTPK" "6VTPK1" "6VTPK2"
"6VTPK3" "6VTPK4" "6VTPK5" "6VTPK6" "6VTPK7" "6VTPK8"
"6VTPK9" "7V" "7V1" "7V2" "7V3" "7V4" "7V5" "7V6" "7V7"
"7V8" "7V9" "7VK" "7VK1" "7VK2" "7VK3" "7VK4" "7VK5" "7VK6"
"7VK7" "7VK8" "7VK9" "7VP" "7VP1" "7VP2" "7VP3" "7VP4"
"7VP5" "7VP6" "7VP7" "7VP8" "7VP9" "7VPK" "7VPK1" "7VPK2"
"7VPK3" "7VPK4" "7VPK5" "7VPK6" "7VPK7" "7VPK8" "7VPK9"
"7VT" "7VT1" "7VT2" "7VT3" "7VT4" "7VT5" "7VT6" "7VT7"
"7VT8" "7VT9" "7VTK" "7VTK1" "7VTK2" "7VTK3" "7VTK4" "7VTK5"
"7VTK6" "7VTK7" "7VTK8" "7VTK9" "7VTP" "7VTP1" "7VTP2"
"7VTP3" "7VTP4" "7VTP5" "7VTP6" "7VTP7" "7VTP8" "7VTP9"
"7VTPK" "7VTPK1" "7VTPK2" "7VTPK3" "7VTPK4" "7VTPK5"
"7VTPK6" "7VTPK7" "7VTPK8" "7VTPK9" "8V" "8V1" "8V2" "8V3"
"8V4" "8V5" "8V6" "8V7" "8V8" "8V9" "8VK" "8VK1" "8VK2"
"8VK3" "8VK4" "8VK5" "8VK6" "8VK7" "8VK8" "8VK9" "8VP"
"8VP1" "8VP2" "8VP3" "8VP4" "8VP5" "8VP6" "8VP7" "8VP8"
"8VP9" "8VPK" "8VPK1" "8VPK2" "8VPK3" "8VPK4" "8VPK5"
"8VPK6" "8VPK7" "8VPK8" "8VPK9" "8VT" "8VT1" "8VT2" "8VT3"
"8VT4" "8VT5" "8VT6" "8VT7" "8VT8" "8VT9" "8VTK" "8VTK1"
"8VTK2" "8VTK3" "8VTK4" "8VTK5" "8VTK6" "8VTK7" "8VTK8"
"8VTK9" "8VTP" "8VTP1" "8VTP2" "8VTP3" "8VTP4" "8VTP5"
"8VTP6" "8VTP7" "8VTP8" "8VTP9" "8VTPK" "8VTPK1" "8VTPK2"
"8VTPK3" "8VTPK4" "8VTPK5" "8VTPK6" "8VTPK7" "8VTPK8"
"8VTPK9" "9V" "9V1" "9V2" "9V3" "9V4" "9V5" "9V6" "9V7"
"9V8" "9V9" "9VK" "9VK1" "9VK2" "9VK3" "9VK4" "9VK5" "9VK6"
"9VK7" "9VK8" "9VK9" "9VP" "9VP1" "9VP2" "9VP3" "9VP4"
"9VP5" "9VP6" "9VP7" "9VP8" "9VP9" "9VPK" "9VPK1" "9VPK2"
"9VPK3" "9VPK4" "9VPK5" "9VPK6" "9VPK7" "9VPK8" "9VPK9"
"9VT" "9VT1" "9VT2" "9VT3" "9VT4" "9VT5" "9VT6" "9VT7"
"9VT8" "9VT9" "9VTK" "9VTK1" "9VTK2" "9VTK3" "9VTK4" "9VTK5"
"9VTK6" "9VTK7" "9VTK8" "9VTK9" "9VTP" "9VTP1" "9VTP2"
"9VTP3" "9VTP4" "9VTP5" "9VTP6" "9VTP7" "9VTP8" "9VTP9"
"9VTPK" "9VTPK1" "9VTPK2" "9VTPK3" "9VTPK4" "9VTPK5"
"9VTPK6" "9VTPK7" "9VTPK8" "9VTPK9")
You can run the program at http://ideone.com/5lLuG2.
In Python, abusing the eval() function.
(@Praxis, your parsing function does not look right. I see it missing newlines and cut short.)
# In Julia 0.6.0 that was released just # Only notation mava"3VTPK1" and binary addition # Allow 0 digit and even mava"" as 0 # No overflow check # Regex matching feels fragile, seems ok # Suboptimal error message on no match # Unsure of proper macro usage, returns actual value, seems ok # Unsure of printing mechanism, show() using print() seems ok module PracticalMangarevaCounting export Mava, @mava_str import Base: +, show primitive type Mava 16 end macro mava_str(digits) mo = match(r"^((\d)V)?(T)?(P)?(K)?(\d)?$", digits) _, v, t, p, k, r = mo.captures reinterpret(Mava, UInt16(+((v == nothing) ? 0 : parse(v) * 80, (t == nothing) ? 0 : 40, (p == nothing) ? 0 : 20, (k == nothing) ? 0 : 10, (r == nothing) ? 0 : parse(r)))) end function show(io::IO, mava::Mava) w = reinterpret(UInt16, mava) v, r = divrem(w, 80) t, r = divrem(r, 40) p, r = divrem(r, 20) k, r = divrem(r, 10) print(io, "mava", '"', v > 0 ? v : "", v > 0 ? "V" : "", t > 0 ? "T" : "", p > 0 ? "P" : "", k > 0 ? "K" : "", r > 0 ? r : "", '"') end function +(ma::Mava, va::Mava) reinterpret(Mava, reinterpret(UInt16, ma) + reinterpret(UInt16, va)) end endjulia> include("mangareva.jl") PracticalMangarevaCounting julia> using PracticalMangarevaCounting julia> reinterpret(Mava, UInt16(73)) mava"TPK3" julia> reinterpret(Mava, UInt16(219)) mava"2VTK9" julia> reinterpret(Mava, UInt16(799)) mava"9VTPK9" julia> mava"1VPK9" + mava"1" mava"1VT" julia> mava"3VPK3" + mava"2VTK9" mava"6VK2"@Jussi: Fixed. Thanks. WordPress recently updated its editor, again, and every time they do something breaks.
In Python with checks on input.
prog = re.compile("^([1-9]V)?(T)?(P)?(K)?([1-9])?$") VALUE = {str(i)+"V": i*80 for i in range(1, 10)} VALUE.update(dict(zip("TPK123456789", (40, 20, 10) + tuple(range(1, 10))))) def man_to_dec(man): m = prog.match(man) if not m: raise ValueError("not a valid Mangarevan format " + man) return sum(VALUE[group] for group in filter(None, m.groups())) def dec_to_man(n): if not 1 <= n <= 799: raise ValueError("Outside range [1, 799]") res = [] d, m = divmod(n, 80) if d: res += [str(d), "V"] for i, s in zip((40, 20, 10), "TPK"): if m >= i: m -= i res.append(s) if m: res.append(str(m)) return "".join(res)From Mangarevan.c:
#include "seal_bool.h" /* <http://GitHub.com/sealfin/C-and-C-Plus-Plus/blob/master/seal_bool.h> */ #include <string.h> #include <stdio.h> #include <stdlib.h> bool f_IsInSet( const char p_character, const char * const p_set, size_t * const p_index ) { while( *p_index < strlen( p_set )) { if( p_character == p_set[ *p_index ] ) return p_character != '#'; else if(( p_set[ *p_index ] == '#' ) && ( p_character >= '1' ) && ( p_character <= '9' )) return true; ( *p_index ) ++; } return false; } bool f_FromMangarevan( const char * const p_string, unsigned int * const p_number ) /* Returns true if: * p_number != NULL; * p_string != NULL; * and p_string points to a string in the format "#VPTK#", where '#' is a digit in the range [ 1, 9 ], and where the elements "#V", 'P', 'T', 'K', and '#' are all optional, but it is required that at least one of those elements be present in the string pointed to by p_string. */ { size_t i; const char * const set = "#KPTV"; size_t index_into_set = 0; unsigned int number = 0; const unsigned int set_value[] = { 0, 10, 20, 40, 80, 0 }; if( p_number == NULL ) return false; if( p_string == NULL ) return false; i = strlen( p_string ); if( i == 0 ) return false; for( ; i > 0; i -- ) if( !f_IsInSet( p_string[ i - 1 ], set, &index_into_set )) return false; else if( index_into_set == 0 /* '#'. */ ) { number += ( p_string[ i - 1 ] - '0' ); index_into_set ++; } else if( index_into_set == 4 /* 'V'. */ ) { if( i < 2 ) return false; i --; if(( p_string[ i - 1 ] < '1' ) || ( p_string[ i - 1 ] > '9' )) return false; number += ( 80 * ( p_string[ i - 1 ] - '0' )); index_into_set ++; } else number += set_value[ index_into_set ++ ]; *p_number = number; return true; } int main( const int argc, const char * const argv[] ) { bool error_occurred = false; size_t index; unsigned int number; #ifdef LEONARDO if( argc != 1 ) error_occurred = true; else index = 0; #else if( argc != 2 ) error_occurred = true; else index = 1; #endif if( !error_occurred ) error_occurred = !f_FromMangarevan( argv[ index ], &number ); if( error_occurred ) { printf( "\nThis program must be passed, via the command line, a Mangarevan number, which this program will then convert into the equivalent denary integer.\n" ); #ifndef LEONARDO printf( "\n" ); #endif exit( EXIT_FAILURE ); } else { printf( "\nThe denary integer %u is equivalent to the Mangarevan number %s.\n", number, argv[ index ] ); #ifndef LEONARDO printf( "\n" ); #endif exit( EXIT_SUCCESS ); } }To Mangarevan.c:
#include "seal_bool.h" /* <http://GitHub.com/sealfin/C-and-C-Plus-Plus/blob/master/seal_bool.h> */ #include <string.h> #include <limits.h> #include <stdio.h> #include <stdlib.h> bool f_StringToNumber( const char * const p_string, unsigned int * const p_number ) /* Returns true if: * p_number != NULL; * p_string != NULL; * the string pointed to by p_string is comprised of – and only of – one or more digits in the range [ 0, 9 ]; * and the number represented by the string pointed to by p_string is ≤ UINT_MAX. */ { size_t i, k = 0 /* Index of first non-zero digit. */; #ifdef LEONARDO unsigned long multiplier = 1, number = 0; #else unsigned long long multiplier = 1, number = 0; #endif if( p_number == NULL ) return false; if( p_string == NULL ) return false; i = strlen( p_string ); if( i == 0 ) return false; for( ; k < strlen( p_string ); k ++ ) if( p_string[ k ] != '0' ) break; for( ; i > k; i --, multiplier *= 10 ) { const char c = p_string[ i - 1 ]; if( multiplier > UINT_MAX ) return false; if(( c >= '0' ) && ( c <= '9' )) { number += (( c - '0' ) * multiplier ); if( number > UINT_MAX ) return false; } else return false; } *p_number = number; return true; } char *f_ToMangarevan( unsigned int p ) { unsigned int digit; static char s[ 7 ]; size_t s_length = 0; /* 'V'. */ digit = p / 80; p -= ( digit * 80 ); if( digit > 0 ) { s[ s_length ++ ] = digit + '0'; s[ s_length ++ ] = 'V'; } /* 'T'. */ digit = p / 40; p -= ( digit * 40 ); if( digit > 0 ) s[ s_length ++ ] = 'T'; /* 'P'. */ digit = p / 20; p -= ( digit * 20 ); if( digit > 0 ) s[ s_length ++ ] = 'P'; /* 'K'. */ digit = p / 10; p -= ( digit * 10 ); if( digit > 0 ) s[ s_length ++ ] = 'K'; if( p > 0 ) s[ s_length ++ ] = p + '0'; s[ s_length ] = '\0'; return s; } int main( const int argc, const char * const argv[] ) { bool error_occurred = false; size_t index; unsigned int number; #ifdef LEONARDO if( argc != 1 ) error_occurred = true; else index = 0; #else if( argc != 2 ) error_occurred = true; else index = 1; #endif if( !error_occurred ) if( !f_StringToNumber( argv[ index ], &number )) error_occurred = true; else if(( number < 1 ) || ( number > 799 )) error_occurred = true; if( error_occurred ) { printf( "\nThis program must be passed, via the command line, a denary integer in the range [ 1, 799 ], which this program will then convert into the equivalent Mangarevan number.\n" ); #ifndef LEONARDO printf( "\n" ); #endif exit( EXIT_FAILURE ); } else { printf( "\nThe Mangarevan number %s is equivalent to the denary integer %u.\n", f_ToMangarevan( number ), number ); #ifndef LEONARDO printf( "\n" ); #endif exit( EXIT_SUCCESS ); } }The programs are known to run on an Apple Power Mac G4 (AGP Graphics) (450MHz processor, 1GB memory) on both Mac OS 9.2.2 (International English) (the programs interpreted using Leonardo IDE 3.4.1) and Mac OS X 10.4.11 (the programs compiled using Xcode 2.2.1).
(I’ve just completed a gig at London South Bank University and so I’m again just trying to solve the problems posed by this ‘site whilst I try to get a job; I’m well-aware that my solutions are far from the best – but, in my defence, I don’t have any traditional qualifications in computer science :/ )