Add Fraction Math in Modula2

archive/m/modula2/FractionMath.mod

@@ -0,0 +1,213 @@
+MODULE FractionMath;
+
+FROM StrIO IMPORT WriteString, WriteLn;
+
+TRACED CLASS Fraction;
+    REVEAL GreatestCommonDivisor, Reduce, SetFraction, ShowFraction, [=], [>], [<], [>=], [<=],
+           [+], [-], [*], [/]; 
+    VAR 
+    numerator: INTEGER;
+    denominator: INTEGER;
+    gcd : INTEGER;
+
+    PROCEDURE SetFraction(n, d : INTEGER);
+    BEGIN
+        numerator := n;
+        denominator := d;
+    END SetFraction;
+
+    PROCEDURE GreatestCommonDivisor(n, d : INTEGER) : INTEGER;
+    BEGIN
+        IF d = 0 THEN
+            WriteString("error cannot divide by 0");
+        END;
+
+        WHILE n # d DO 
+            IF n > d THEN 
+                n := n - d;
+            ELSE
+                d := d - n;
+            END;
+        END;
+
+        RETURN n;
+    END GreatestCommonDivisor;
+
+    PROCEDURE Reduce(n, d : INTEGER);
+    BEGIN 
+        IF d = 0 THEN
+            WriteString("error cannot divide by 0");
+
+        ELSE
+            gcd := GreatestCommonDenominator(n, d);
+            numerator := n / gcd;
+            denominator := d / gcd;
+        END;
+    END Reduce; 
+
+    PROCEDURE ShowFraction(f : Fraction);
+    BEGIN
+        WriteString(f.numerator);
+        WriteString("/");
+        WriteString(f.denominator);
+        WriteLn;
+    END ShowFraction;
+
+PROCEDURE [=] isEqual(f1, f2 : Fraction) : BOOL; 
+BEGIN
+    IF (f1.numerator * f2.denominator) = (f1.denominator * f2.numerator) THEN
+        RETURN TRUE;
+    ELSE
+        RETURN FALSE;
+    END;
+END isEqual;
+
+PROCEDURE [#] notEqual(f1, f2 : Fraction) : BOOL;
+BEGIN 
+    RETURN f1 = f2;
+    IF f1 = f2 THEN
+        RETURN FALSE;
+    ELSE
+        RETURN TRUE;
+    END;
+END notEqual;
+
+PROCEDURE [>] isGreater(f1, f2 : Fraction) : BOOL; 
+BEGIN
+    IF (f1.numerator * f2.denominator) > (f1.denominator * f2.numerator) THEN
+        RETURN TRUE;
+    ELSE
+        RETURN FALSE;
+    END;
+END isGreater; 
+
+PROCEDURE [<] isLess(f1, f2 : Fraction) : BOOL;
+BEGIN
+    IF (f1.numerator * f2.denominator) < (f1.denominator * f2.numerator) THEN
+        RETURN TRUE;
+    ELSE
+        RETURN FALSE;
+    END;
+END isLess;
+
+PROCEDURE [>=] greaterOrEqual(f1, f2 : Fraction) : BOOL; 
+BEGIN
+    IF (f1.numerator * f2.denominator) >= (f1.denominator * f2.numerator) THEN
+        RETURN TRUE;
+    ELSE
+        RETURN FALSE;
+    END;
+END greaterOrEqual;
+
+PROCEDURE [<=] lessOrEqual(f1, f2 : Fraction) : BOOL;
+BEGIN
+    IF (f1.numerator * f2.denominator) <= (f1.denominator * f2.numerator) THEN
+        RETURN TRUE;
+    ELSE
+        RETURN FALSE;
+    END;
+END lessOrEqual;
+
+PROCEDURE [+] Add(f1, f2 : Fraction) : Fraction;
+VAR fResult : Fraction;
+BEGIN
+    CREATE(fResult);
+    IF f1.denominator = f2.denominator THEN
+        fResult.SetFraction(f1.numerator + f2.numerator, f1.denominator);        
+    ELSE
+        fResult.SetFraction((f1.numerator * f2.denominator) + (f2.numerator * f1.denominator), f1.denominator * f2.denominator);
+        gcd = GreatestCommonDivisor(fResult.numerator, fResult.denominator);
+        fResult.SetFraction(fResult.numerator / gcd, fResult.denominator / gcd);
+    END;
+END Add;
+
+PROCEDURE [-] Sub(f1, f2 : Fraction) : Fraction;
+VAR fResult : Fraction;
+BEGIN
+    CREATE(fResult);
+    IF f1.denominator = f2.denominator THEN
+        fResult.SetFraction(f1.numerator - f2.numerator, f1.denominator);        
+    ELSE
+        fResult.SetFraction((f1.numerator * f2.denominator) - (f2.numerator * f1.denominator), f1.denominator * f2.denominator);
+        gcd = GreatestCommonDivisor(fResult.numerator, fResult.denominator);
+        fResult.SetFraction(fResult.numerator / gcd, fResult.denominator / gcd);
+    END;
+END Sub;
+
+PROCEDURE [*] Mult(f1, f2 : Fraction) : Fraction;
+VAR fResult : Fraction;
+BEGIN
+    CREATE(fResult);
+    fResult.SetFraction(f1.numerator * f2.numerator, f1.denominator * f2.denominator);
+    gcd = GreatestCommonDivisor(fResult.numerator, fResult.denominator);
+    fResult.SetFraction(fResult.numerator / gcd, fResult.denominator / gcd);
+END Mult;
+
+PROCEDURE [/] Div(f1, f2 : Fraction) : Fraction;
+VAR fResult : Fraction;
+BEGIN
+    CREATE(fResult);
+    fResult.SetFraction(f1.numerator * f2.denominator, f1.denominator * f1.numerator);
+    gcd = GreatestCommonDivisor(fResult.numerator, fResult.denominator);
+    fResult.SetFraction(fResult.numerator / gcd, fResult.denominator / gcd);
+END Div;
+
+BEGIN 
+    SetFraction(1, 1);
+END Fraction;
+
+
+VAR fracOne : Fraction;
+    fracTwo : Fraction;
+
+PROCEDURE result(f1 : INTEGER, op : STRING, f2 : INTEGER) : Fraction
+BEGIN
+    IF op = "+" THEN 
+        RETURN f1 + f2;
+    ELSE IF op = "-" THEN 
+        RETURN f1 - f2;
+    ELSE IF op = "*" THEN 
+        RETURN f1 * f2;
+    ELSE IF op = "/" THEN 
+        RETURN f1 / f2;
+    ELSE IF op = ">" THEN 
+        RETURN f1 > f2
+    ELSE IF op = ">=" THEN 
+        RETURN f1 >= f2
+    ELSE IF op = "<" THEN 
+        RETURN f1 < f2
+    ELSE IF op = "<=" THEN 
+        RETURN f1 <= f2
+    ELSE IF op = "=" THEN 
+        RETURN f1 = f2
+    ELSE IF op = "#" THEN 
+        RETURN f1 # f2
+    ELSE
+        RETURN WriteString("Invalid operator");
+    END;    
+END result;
+
+BEGIN 
+    CREATE(fracOne);
+    CREATE(fracTwo);
+    fracOne.SetFraction(2, 3);
+    fracTwo.SetFraction(4, 5);
+
+    IF fracOne # EMPTY AND fracTwo # EMPTY THEN
+
+        ShowFraction(result(fracOne, "+", fracTwo));
+        ShowFraction(result(fracOne, "-", fracTwo));        
+        ShowFraction(result(fracOne, "*", fracTwo));        
+        ShowFraction(result(fracOne, "/", fracTwo));        
+        ShowFraction(result(fracOne, ">", fracTwo));        
+        ShowFraction(result(fracOne, "<", fracTwo));        
+        ShowFraction(result(fracOne, ">=", fracTwo));       
+        ShowFraction(result(fracOne, "<=", fracTwo));        
+        ShowFraction(result(fracOne, "#", fracTwo));        
+        ShowFraction(result(fracOne, "=", fracTwo));
+
+    ELSE
+        WriteString("Error");
+    END;
+END FractionMath.
+