From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/VectorOverloadingTest.icl | 62 -------------------------------
 1 file changed, 62 deletions(-)
 delete mode 100644 files/practicum/VectorOverloadingTest.icl

(limited to 'files/practicum/VectorOverloadingTest.icl')

diff --git a/files/practicum/VectorOverloadingTest.icl b/files/practicum/VectorOverloadingTest.icl
deleted file mode 100644
index e5571bb..0000000
--- a/files/practicum/VectorOverloadingTest.icl
+++ /dev/null
@@ -1,62 +0,0 @@
-module VectorOverloadingTest
-
-/*	Test module VectorOverloading
-	Voor werken met Gast: 
-		(*) gebruik Environment 'Gast'
-		(*) zet Project Options op 'Basic Values Only'
-*/
-
-import VectorOverloading
-import StdEnv
-import gast
-
-Start
-		= testn 1000
-			(\v -> 
-		       zero_is_neutral_for_addition      v /\
-		       zero_is_neutral_for_subtraction   v /\
-		       one_is_neutral_for_multiplication v /\
-		       one_is_neutral_for_division       v /\
-		       negation_is_idempotent            v /\
-		       add_then_subtract_yields_identity v /\
-		       subtract_then_add_yields_identity v /\
-		       True
-		    )
-
-:: BaseType
-		:== Int
-//		:== Real
-
-zero_is_neutral_for_addition		:: (Vector2 BaseType) -> Property
-zero_is_neutral_for_addition a		= name "zero_is_neutral_for_addition"
-									       (zero + a == a && a == a + zero)
-
-zero_is_neutral_for_subtraction		:: (Vector2 BaseType) -> Property
-zero_is_neutral_for_subtraction a	= name "zero_is_neutral_for_subtraction"
-									       (a - zero == a && a == ~ (zero - a))
-
-one_is_neutral_for_multiplication	:: (Vector2 BaseType) -> Property
-one_is_neutral_for_multiplication a	= name "one_is_neutral_for_multiplication" 
-									       (one * a == a && a == a * one)
-
-zero_is_zero_for_multiplication		:: (Vector2 BaseType) -> Property
-zero_is_zero_for_multiplication a	= name "zero_is_zero_for_multiplication"
-									       (zero * a == zero && zero == a * zero)
-
-one_is_neutral_for_division			:: (Vector2 BaseType) -> Property
-one_is_neutral_for_division a		= name "one_is_neutral_for_division"
-									       (a / one == a)
-
-negation_is_idempotent				:: (Vector2 BaseType) -> Property
-negation_is_idempotent a			= name "negation_is_idempotent" 
-									       (~ (~ a) == a)
-
-add_then_subtract_yields_identity	:: (Vector2 BaseType) -> Property
-add_then_subtract_yields_identity a	= name "add then subtract" ((a + a) - a == a)
-
-subtract_then_add_yields_identity	:: (Vector2 BaseType) -> Property
-subtract_then_add_yields_identity a	= name "subtract then add" ((zero - a - a) + a + a == zero)
-
-derive genShow Vector2
-derive ggen    Vector2
-derive bimap   []
-- 
cgit v1.2.3