Comment 4 for bug 960000

On Wed, Mar 21, 2012 at 07:26:46AM -0000, Johan Hake wrote:
> 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.

Martin, can the SFC check be ported to UFL?

--
Anders

> > 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
> >
>