Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Kristian Oelgaard
On 21 March 2010 21:32, Anders Logg wrote: After Marie's latest addition of enriched spaces (and some discussion with Doug Arnold), it seems clear that our current notation V + W for mixed spaces is not optimal. Even though one may think of the operation of creating a "mixed function space" a

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Garth N. Wells
On 22/03/10 16:42, Kristian Oelgaard wrote: On 21 March 2010 21:32, Anders Logg wrote: After Marie's latest addition of enriched spaces (and some discussion with Doug Arnold), it seems clear that our current notation V + W for mixed spaces is not optimal. Even though one may think of the o

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Anders Logg
On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: > > > On 22/03/10 16:42, Kristian Oelgaard wrote: > > > > > >On 21 March 2010 21:32, Anders Logg wrote: > >>After Marie's latest addition of enriched spaces (and some discussion > >>with Doug Arnold), it seems clear that our current n

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Marie Rognes
Anders Logg wrote: On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: On 22/03/10 16:42, Kristian Oelgaard wrote: On 21 March 2010 21:32, Anders Logg wrote: After Marie's latest addition of enriched spaces (and some discussion with Doug Arnold), it seems clear that

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Anders Logg
On Mon, Mar 22, 2010 at 11:41:42AM +0100, Marie Rognes wrote: > Anders Logg wrote: > >On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: > >>On 22/03/10 16:42, Kristian Oelgaard wrote: > >>>On 21 March 2010 21:32, Anders Logg wrote: > After Marie's latest addition of enriched spac

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Marie Rognes
Anders Logg wrote: On Mon, Mar 22, 2010 at 11:41:42AM +0100, Marie Rognes wrote: Anders Logg wrote: On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: On 22/03/10 16:42, Kristian Oelgaard wrote: On 21 March 2010 21:32, Anders Logg wrote: After

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Marie Rognes
Marie Rognes wrote: Anders Logg wrote: On Mon, Mar 22, 2010 at 11:41:42AM +0100, Marie Rognes wrote: Anders Logg wrote: On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: On 22/03/10 16:42, Kristian Oelgaard wrote: On 21 March 2010 21:32, Anders Logg wrote:

[Ffc] Tests for Projection.ufl fails

2010-03-22 Thread Marie Rognes
The regression testing of Projection.ufl is failing for me (and has been so for a while). Could it be that the references have not been updated for this form? The first part of the diff is as follows: -// This code conforms with the UFC specification version 1.2 -// and was automaticall

Re: [Ffc] Tests for Projection.ufl fails

2010-03-22 Thread Kristian Oelgaard
Works fine here, but I get: Missing reference for Mini.out Kristian On 22 March 2010 13:49, Marie Rognes wrote: The regression testing of Projection.ufl is failing for me (and has been so for a while). Could it be that the references have not been updated for this form? The first part of th

Re: [Ffc] Tests for Projection.ufl fails

2010-03-22 Thread Marie Rognes
Kristian Oelgaard wrote: Works fine here, Ah, pulled fresh branch -- and now I see. Projection.ufl has been removed from the demos directory, but the reference is still hovering around. but I get: Missing reference for Mini.out Yes, will add once I've checked that the generated code gives

Re: [Ffc] Tests for Projection.ufl fails

2010-03-22 Thread Kristian Oelgaard
On 22 March 2010 15:31, Marie Rognes wrote: Kristian Oelgaard wrote: Works fine here, Ah, pulled fresh branch -- and now I see. Projection.ufl has been removed from the demos directory, but the reference is still hovering around. Aha, that explains a lot. but I get: Missing reference

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Anders Logg
On Mon, Mar 22, 2010 at 01:43:41PM +0100, Marie Rognes wrote: > Marie Rognes wrote: > >Anders Logg wrote: > >>On Mon, Mar 22, 2010 at 11:41:42AM +0100, Marie Rognes wrote: > >>>Anders Logg wrote: > On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells wrote: > >On 22/03/10 16:42, Kristia

Re: [Ffc] New syntax for mixed and enriched spaces

2010-03-22 Thread Marie Rognes
Anders Logg wrote: On Mon, Mar 22, 2010 at 01:43:41PM +0100, Marie Rognes wrote: Marie Rognes wrote: Anders Logg wrote: On Mon, Mar 22, 2010 at 11:41:42AM +0100, Marie Rognes wrote: Anders Logg wrote: On Mon, Mar 22, 2010 at 06:20:00PM +0800, Garth N. Wells