Comment 3 for bug 960000

On 03/20/2012 06:26 PM, Anders Logg wrote:
> Since it can be checked in UFL, I think that's the right place to
> check it.

I agree, but I do not have any opinion on where. Is there a natural
place for it in UFL, in the constructor of a (volume) integral?

SFC has a check for this and I saw that FFC didn't, I therefore filed a
bug to FFC.

> PS: Notice that this is bug 960000. Who will submit lucky bug nr
> 1000000? :-)

Noticed as well :)

johan

>
>
> On Tue, Mar 20, 2012 at 03:43:16PM +0100, Kristian Ølgaard wrote:
>> Could this be one of the things UFL should check for (an algorithm
>> to check if a form is valid)?
>>
>> On 20 March 2012 09:10, Johan Hake<email address hidden>
>> wrote:
>>> Public bug reported:
>>>
>>> The following three lines give comprehensible compilation error:
>>>
>>> from dolfin import * mesh = UnitSquare(2,2)
>>> assemble(dot(mesh.ufl_cell().n,mesh.ufl_cell().n)*dx)
>>>
>>> ** Affects: ffc Importance: Undecided Status: New
>>>
>>>
>>> Title: missing error message facet normal is used in cell
>>> integrals
>>>
>>> Status in FEniCS Form Compiler: New
>>>
>>> Bug description: The following three lines give comprehensible
>>> compilation error:
>>>
>>> from dolfin import * mesh = UnitSquare(2,2)
>>> assemble(dot(mesh.ufl_cell().n,mesh.ufl_cell().n)*dx)
>>>
>>> To manage notifications about this bug go to:
>>> https://bugs.launchpad.net/ffc/+bug/960000/+subscriptions
>>
>> _______________________________________________ Mailing list:
>> https://launchpad.net/~ufl Post to : <email address hidden>
>> Unsubscribe : https://launchpad.net/~ufl More help :
>> https://help.launchpad.net/ListHelp
>
>
> ** Project changed: ffc => ufl
>