#!/usr/bin/perl

# This will take an cddr+ ine file and output a file ready for latte, 
# EXCEPT it will NOT rationalize equations
# Usage is with standard in and out
# Also, this program makes the last inequality an equality for latte

while ($input = <>) {
    if (!($input =~ /(^\*|H-rep|begin|end)/)) {
        if ($input =~ /(\d+)\s+\d+\s+rational/) {
            $numEq = $1;
            #$input =~ s/(\d+)\s+(\d+)\s+rational/$numEq $2/;
            $input =~ s/rational//;
            $latOutput = $latOutput . "$input";
        }
        else {
            $input =~ s/^ //;
            $latOutput = $latOutput . "$input";
        }
 
    }

}

$tempNewLine = "linearity 1 $numEq\n";

print("$latOutput");
print("$tempNewLine");