[PPL-devel] Re: Equivalent dimensions

[Roberto Bagnara]

Mario Mendez ha scritto:
> Thank you! Another question then:
> 
> How can I insert dimensions in the middle?
> E.G: convert
>     [B=2,E=8]  Dim= N
> in      [B=2,G=8]  Dim = N + 2
> after inserting two "universe" dimensions between the original B and E. 
> I already know how to add at the beginning/end, but no idea about how to 
> use the library for this particular purpose.

Dear Mario,

we have already answered this question two weeks ago:

    http://www.cs.unipr.it/pipermail/ppl-devel/2005-July/006205.html

What you want is the  map_space_dimensions functionality.

> PS: I'm working in a abstract domain based on your library for finding 
> linear invariants....

Which norms are you using?

We have implemented (around 2001) an argument size relation analysis
with the China analyzer.  It currently supports the following norms:
term size, list length and total list length.  Please let us know
in case you want more information.
All the best,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it