User loginNavigation 
Help with a little geometric hackery...Hey LtUers, i discovered a cool way to visualize terms in reflective calculi. At (http://biosimilarity.blogspot.com/) i posted the core calculation. (Apologies for the layout... i don't know why the use of the table tags are causing so much spacing.) i'll recapitulate them here. i'm wondering if someone familiar with the gfx libs of OCaml or F# or Haskell would be interested in helping me implement the algorithm. It's dirt simple, but i'm pretty rusty on my basic geometry, anymore, and really don't know the gfx libs of these languages. Write me at lgreg.meredith@biosimilarity.com if interested. Best wishes, greg Last night i discovered a geometric interpretation of the reflective versions of the Î» and Ï€calculi. It's 'simplicial' in nature. For example, take the reflective version of the asynchronous Ï€calculus.
Assign a dimension to each term constructor. Thus, we have
or 6 dimensions. We define a recursive function, G[  ]: L(P) â†’ R^{6}, assigning to each term a shape in 6 dimensions. After doing some calculations, i'm pretty sure that you want to do scaling and offsets, but i've screwed up the accumulated scaling twice; so, i'm eliminating it and just giving the algorithmic scheme to which you can add your flavor or scaling and offset.
i believe that this will yield interesting visualizations of the terms of this calculus if we assign 3 dims to x,y,z and 3 dims to pitch, roll and yaw. The dynamics of execution will yield animations. By Lucius Gregory Meredith at 20070116 03:25  LtU Forum  previous forum topic  next forum topic  other blogs  5182 reads

Browse archives
Active forum topics 
Recent comments
13 weeks 6 days ago
13 weeks 6 days ago
13 weeks 6 days ago
36 weeks 21 hours ago
40 weeks 2 days ago
42 weeks 10 min ago
42 weeks 14 min ago
44 weeks 4 days ago
49 weeks 2 days ago
49 weeks 2 days ago