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

2010-03-26 Thread Kristian Oelgaard
On 26 March 2010 14:23, Andy Ray Terrel wrote: On Fri, Mar 26, 2010 at 7:45 AM, Kristian Oelgaard wrote: On 26 March 2010 13:36, Andy Ray Terrel wrote: Could you have ffc print out a warning so dumb users like me will remember this change when their code breaks? That might be a good i

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

2010-03-26 Thread Andy Ray Terrel
On Fri, Mar 26, 2010 at 7:45 AM, Kristian Oelgaard wrote: > > > On 26 March 2010 13:36, Andy Ray Terrel wrote: >> >> Could you have ffc print out a warning so dumb users like me will >> remember this change when their code breaks? > > That might be a good idea, would it be enough to put in the __

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

2010-03-26 Thread Kristian Oelgaard
On 26 March 2010 13:36, Andy Ray Terrel wrote: Could you have ffc print out a warning so dumb users like me will remember this change when their code breaks? That might be a good idea, would it be enough to put in the __add__ operator in UFL for FiniteElements? We didn't use __mul__ before

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

2010-03-26 Thread Andy Ray Terrel
Could you have ffc print out a warning so dumb users like me will remember this change when their code breaks? -- Andy On Mon, Mar 22, 2010 at 1:14 PM, Marie Rognes wrote: > Anders Logg wrote: >> >> On Mon, Mar 22, 2010 at 01:43:41PM +0100, Marie Rognes wrote: >> >>> >>> Marie Rognes wrote: >>>

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

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

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 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 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 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 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 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-21 Thread meg
In favor. -- Marie > 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" as a direct sum,

[Ffc] New syntax for mixed and enriched spaces

2010-03-21 Thread Anders Logg
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" as a direct sum, X = {(v, 0) : v in V} \oplus