#!/bin/bash

convert ()
{
	tr -d '\\\r\n' < $1 > $2
	sed -ri 's/\r//g
		s/\[/\{/g
		s/\]/\}/g
		s/((P[0-9]+)+\(([^()]+)\))/(\1)/g
		s/([a-z])/ \1/g
		s/E([0-9]+)/Exp[2*Pi*I\/\1]/g
		s/E\(([0-9]+)\)/Exp[2*Pi*I\/\1]/g
		s/E\(3\)/Exp[2*Pi*I\/3]/g
		s/E\(12\)/Exp[2*Pi*I\/12]/g
		s/ER\(-3\)/Sqrt[-3]/g
		s/P([0-9]+)\(([^()]+)\)/ Cyclotomic[\1,x]\/.{x->\2}/g
		s/P([0-9]+)/ Cyclotomic[\1,x]/g
		' $2
}

convert dataR dataRmath
convert dataS dataSmath
convert basis basisMath
convert dataCharIrr dataCharIrrMath
convert dataHyp dataHypMath
convert dataParams dataParamsMath