Perhaps, but Domain sounds very natural in all the examples that Martin has.
Perhaps what Martin has defined should be the new Domain and what we had before should be renamed or cleaned up so it relates to what is now a Domain. -- Anders On Wed, Feb 12, 2014 at 08:58:16PM +0100, Marie E. Rognes wrote: > > How about 'Region' ? > > _______________________________________________ > fenics mailing list > [email protected] > http://fenicsproject.org/mailman/listinfo/fenics _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
