ufl team mailing list archive

[Martin Sandve Alnæs <martinal@xxxxxxxxx>]

On Wed, Jun 17, 2009 at 5:15 PM, Anders Logg<logg@xxxxxxxxx> wrote:
> On Wed, Jun 17, 2009 at 03:32:03PM +0200, UFL wrote:
>> One or more new changesets pushed to the primary ufl repository.
>> A short summary of the last three changesets is included below.
>>
>> changeset:   908:ef256e35e417096ae9b9d3a7e915e27e6971ae3f
>> tag:         tip
>> user:        "Martin Sandve Alnæs <martinal@xxxxxxxxx>"
>> date:        Wed Jun 17 15:32:01 2009 +0200
>> files:       test/newtests/test_demos/test_demos.py test/newtests/test_elements/test_elements.py test/newtests/test_exprbasics/test_construction.py ufl/__init__.py ufl/exproperators.py ufl/finiteelement.py ufl/function.py
>> description:
>> Added ElementRestriction class with notation "Vr = V[dx(k)]".
>
> What does this mean? What is V?
>
> --
> Anders

The restriction of a function space to a domain.
Obviously the use of the measure "dx" is an
abuse of concepts, but it's convenient to reuse it.

Consider:

V1 = FiniteElement("CG", cell, 1)
V0 = FiniteElement("DG", cell, 0)
V = V1 + V0[ds(2)]
u, lamda = TrialFunctions(V)

Here lamda lives only on boundary 2.

Of course, this is useless without support in the rest of
FEniCS, so it's only a proof of concept for input syntax.

Feel free to suggest alternative syntax and naming.

Martin