I just started using PORTA (polyhedral representation transformation
algorithm). When one uses the traf function with the -v option PORTA
prints out a so-called strong validity table. The man pages does not
have much information about this table.
Does anyone know what this table means?
Thanks,
Din