[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