bodies

test/isn.tests/UnitTest1.cs

@@ -5,6 +5,15 @@ namespace isn.tests
 {
     public class Tests
     {
+        private const int V = 0;
+        private const int V1 = 1;
+
+        public interface INeedEngine
+        {
+            object Parse(string code);
+
+        }
+
         [SetUp]
         public void Setup()
         {
@@ -22,7 +31,7 @@ namespace isn.tests
             Assert.Pass();
         }
 
-        
+
         [Test]
         public void Test26()
         {
@@ -34,6 +43,26 @@ namespace isn.tests
             Assert.AreEqual(pass, unprotectedpass);
             Assert.Pass();
         }
+        public void TestParseCplus()
+        {
+            INeedEngine engine = new Engine();
+            IRing c = new Ring();
+            Assert.Equals((INeedEngine)engine.Parse("c+"), c.Add(Ring.One));
+        }
+
+        public void AssertIRingIsABody()
+        {
+            Ring c = new Ring();
+            Ring one = Ring.One;
+            Assert.True(c.Mult(one).Equals(c));
+        }
+        public void AssertIRingIsARing()
+        {
+            AssertIRingIsABody();
+            Ring c = new Ring();
+            IRing zero = Ring.Zero;
+            Assert.True(c.Add(zero).Equals(c));
+        }
 
     }
 }