[Dune] How children which are copies of their father handled in DUNE?

Markus Blatt markus at dr-blatt.de
Tue Apr 8 10:04:28 CEST 2014


Hi,

Please always reply to the list. If I am helping for free everybody
should benefit.

On Thu, Apr 03, 2014 at 04:45:22PM +0000, Casagrande  Raffael wrote:
> 
> 1) If the size() methods of the leaf view omit the entities which
> are copies of others, then std::distance(leafView().begin<1>(),
> leafView().end<1>()) != leafView().size(1), right?

With our iterators not being random access iterators and therefore not
providing operator-(i1, i2), they should actually be equal. You only
visit each entity once during the traversal.

> 2) But I guess for any levelView this equality will hold because there are no children and fathers (which could be copies of each other) in the same level view?
> 
> If this is so then I would suggest to update the documentation of the IndexSet to something like this:
> 
> The index map \f$ m \f$ has the following properties:
>   - Two entities have the same index if one is an exact copy of the other, i.e. for any \f$ e, e' \in E_g^c \f$ we have \f$ e \mathcal{C} e' \rightarrow m(e) = m(e')\f$ (this is only possible in leaf views)
>   - Otherwise they have different indices: For any \f$ e, e' \in E_g^c\f$ such that \f$ e \neq e' \wedge  \neg( e \mathcal{C} e' ) \f$ then \f$ m(e) != m(e') \f$
>   - It is consecutive and zero-based within the subsets \f$ E_g^c / \mathcal{C} \f$, i.e. we have \f$ 0 \leq m(e) < |E_g^c / \mathcal{C} | \f$ for any \f$ e \in E_g^c\f$.
>

Please open a bug report about this at
<http://www.dune-project.org/flyspray>. On this list it might simply
get lost.

Cheers,

Markus
-- 
Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany,  USt-Id: DE279960836
Tel.: +49 (0) 160 97590858
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20140408/050f9dcc/attachment.sig>


More information about the Dune mailing list