[Dune] Small one about dune grid

[Aleksejs Fomins]

Dear Dune,

I have another little question:
Say I have an ElementPointer and a local face number within that element.
Is there a simple way to get the local numbers of corners of this face.
The local numbers must be with respect to the ELEMENT. (meaning I want 3 
numbers out of possible 4)

I see a hard way - to get all global coordinates of points and compare, 
but that sounds a little too brutal.

Thanks,

-- 
-------------------------------------------------------------------------------------------
Aleksey Fomin
Junior Research Scientist
Computational Accelerator Group
Paul Scherrer Institut
5232 Villigen PSI
Switzerland
Phone: +41 (0)56 310 5019
-------------------------------------------------------------------------------------------