← Back to branch summary

~rosivaldo-fa/set-theory/trunk

~rosivaldo-fa/set-theory/trunk

Viewing all changes in revision 132.

Committer: rosivaldo
Date: 2017-08-24 12:17:47 UTC
mfrom: (130.1.7 revised_st; contravariance)
Revision ID: rosivaldo.fernandes@yahoo.com-20170824121747-xilgrg65zry86r82

contravariance merged.

files added:
functions/composable_function.e

functions/function_aware_ordered_set.e

functions/function_aware_relation.e

functions/function_aware_set.e

functions/function_producer_ordered_set.e

functions/function_producer_set.e

functions/homogeneous_function.e

functions/identity.e

functions/indexed_families

functions/indexed_families/index_aware_set.e

functions/indexed_families/indexable_set.e

functions/indexed_families/indexed_choice.e

functions/indexed_families/indexed_family.e

functions/indexed_families/indexed_subset_family.e

functions/indexed_families/sequence.e

functions/indexed_families/sequence_aware_tuple.e

functions/indexed_families/sequential_choice.e

functions/indexed_families/sequential_subset_family.e

functions/real_functions

functions/real_functions/function_from_reals.e

functions/real_functions/indexed_real_family.e

functions/real_functions/mapping.e

functions/real_functions/numeric_function.e

functions/real_functions/real_function.e

functions/real_functions/real_sequence.e

functions/reals

functions/remarkable_functions/characteristic_function.e

functions/remarkable_functions/choice_function.e

functions/remarkable_functions/constant_function.e

functions/remarkable_functions/remarkable_function_aware_set.e

functions/remarkable_functions/remarkable_function_producer_set.e

numbers

numbers/c.e

numbers/complex.e

numbers/complex_set.e

numbers/endocrossable_universe.e

numbers/integer_congruence.e

numbers/integer_set.e

numbers/n.e

numbers/natural_set.e

numbers/numeric_order.e

numbers/numeric_set.e

numbers/ordered_numeric_set.e

numbers/q.e

numbers/r.e

numbers/rational.e

numbers/rational_set.e

numbers/real_set.e

numbers/signed_numeric_set.e

numbers/universe.e

numbers/z.e

operations

operations/additive_operation.e

operations/algebra

operations/algebra/additive_monoid.e

operations/algebra/groupoid.e

operations/algebra/monoid.e

operations/algebra/multiplicative_monoid.e

operations/algebra/unital_groupoid.e

operations/associative_operation.e

operations/internal_operation.e

operations/morphisms

operations/morphisms/composable_homomorphism.e

operations/morphisms/homomorphism.e

operations/morphisms/isomorphism.e

operations/morphisms/morphism_producer_grupoid.e

operations/morphisms/morphism_producer_set.e

operations/multiplicative_operation.e

operations/operation_aware_functions

operations/operation_aware_functions/operation_aware_bijection.e

operations/operation_aware_functions/operation_aware_composable_function.e

operations/operation_aware_functions/operation_aware_function.e

operations/operation_aware_functions/operation_aware_homogeneous_bijection.e

operations/operation_aware_functions/operation_aware_homogeneous_function.e

operations/operation_aware_functions/operation_aware_identity.e

operations/operation_aware_functions/operation_aware_self_map.e

operations/operation_aware_set.e

relations

relations/binary_relation.e

relations/composable_relation.e

relations/endorelation.e

relations/equivalences

relations/equivalences/equivalence.e

relations/equivalences/equivalence_aware_set.e

relations/equivalences/set_quotient.e

relations/orders

relations/orders/anti_lexicographic_order.e

relations/orders/lattice.e

relations/orders/lexicographic_order.e

relations/orders/linear_set.e

relations/orders/ordainable_relation.e

relations/orders/ordainable_set.e

relations/orders/order.e

relations/orders/order_aware_set.e

relations/orders/order_like.e

relations/orders/order_on_pairs.e

relations/orders/ordered_set.e

relations/orders/strict_order.e

relations/orders/well_ordered_set.e

relations/relatable_set.e

relations/relation_aware_set.e

relations/relation_properties

relations/relation_properties/binary_relation_properties.e

sets/composable_pair.e

sets/crossable_set.e

sets/element_equality.e

sets/equality.e

sets/homogeneous_pair.e

sets/mappable_set.e

sets/n_tuple.e

sets/ordered_pair.e

sets/reduceable_set.e

sets/reduceable_tuple.e

sets/set_partition.e

sets/set_properties

sets/set_properties/crossable_set_properties.e

sets/set_properties/homogeneous_pair_properties.e

sets/set_properties/set_properties.e

sets/set_properties/set_tuple_properties.e

sets/set_properties/subset_family_properties.e

sets/set_tuple.e

sets/value_equality.e

files removed:
binary_relations

binary_relations/binary_relation.e

binary_relations/binary_relations_checks

binary_relations/binary_relations_checks/binary_relation_checks.e

binary_relations/binary_relations_checks/endorelation_checks.e

binary_relations/element_endorelation.e

binary_relations/endorelation.e

binary_relations/equivalences

binary_relations/equivalences/element_equivalence.e

binary_relations/equivalences/equivalence.e

binary_relations/equivalences/equivalences_checks

binary_relations/equivalences/equivalences_checks/equivalence_checks.e

binary_relations/equivalences/integer_congruence.e

binary_relations/equivalences/set_partition.e

binary_relations/orders

binary_relations/orders/anti_lexicographic_order.e

binary_relations/orders/lattice.e

binary_relations/orders/lexicographic_order.e

binary_relations/orders/order.e

binary_relations/orders/order_like.e

binary_relations/orders/order_on_pairs.e

binary_relations/orders/order_structure.e

binary_relations/orders/ordered_bijection.e

binary_relations/orders/ordered_binary_relation.e

binary_relations/orders/ordered_set.e

binary_relations/orders/ordered_universe.e

binary_relations/orders/orders_checks

binary_relations/orders/orders_checks/lattice_checks.e

binary_relations/orders/orders_checks/order_checks.e

binary_relations/orders/orders_checks/ordered_set_checks.e

binary_relations/orders/strict_order.e

binary_relations/orders/totally_ordered_set.e

binary_relations/orders/well_ordered_bijection.e

binary_relations/orders/well_ordered_set.e

functions/functional_endorelation.e

functions/functions_checks

functions/functions_checks/bijection_checks.e

functions/functions_checks/equation_checks.e

functions/functions_checks/mapping_checks.e

functions/functions_checks/self_map_checks.e

functions/mapping.e

functions/numeric_function.e

functions/real_argument_function.e

functions/real_function.e

functions/remarkable_functions/characteristic_function.e

functions/remarkable_functions/choice_function.e

functions/remarkable_functions/constant_function.e

functions/remarkable_functions/identity.e

functions/remarkable_functions/indexed_choice.e

functions/remarkable_functions/indexed_family.e

functions/remarkable_functions/indexed_subset_family.e

functions/remarkable_functions/real_sequence.e

functions/remarkable_functions/remarkable_functions_checks

functions/remarkable_functions/remarkable_functions_checks/characteristic_function_checks.e

functions/remarkable_functions/remarkable_functions_checks/constant_function_checks.e

functions/remarkable_functions/remarkable_functions_checks/identity_checks.e

functions/remarkable_functions/remarkable_functions_checks/indexed_subset_family_checks.e

functions/remarkable_functions/remarkable_functions_checks/real_sequence_checks.e

functions/remarkable_functions/remarkable_functions_checks/sequential_subset_family_checks.e

functions/remarkable_functions/sequence.e

functions/remarkable_functions/sequential_choice.e

functions/remarkable_functions/sequential_subset_family.e

internal_operations

internal_operations/additive_monoid.e

internal_operations/additive_operation.e

internal_operations/associative_operation.e

internal_operations/groupoid.e

internal_operations/homomorphism.e

internal_operations/internal_operation.e

internal_operations/isomorphism.e

internal_operations/monoid.e

internal_operations/multiplicative_monoid.e

internal_operations/multiplicative_operation.e

internal_operations/operation_structure.e

internal_operations/unital_groupoid.e

set_theory.rc

sets/element_set.e

sets/equalities

sets/equalities/element_equality.e

sets/equalities/equality.e

sets/equalities/homogeneous_pair_equality.e

sets/equalities/ordered_pair_equality.e

sets/equalities/reference_equality.e

sets/equalities/value_equality.e

sets/numbers

sets/numbers/c.e

sets/numbers/complex.e

sets/numbers/complex_set.e

sets/numbers/integer_set.e

sets/numbers/n.e

sets/numbers/natural_set.e

sets/numbers/numbers_checks

sets/numbers/numbers_checks/natural_set_checks.e

sets/numbers/numeric_order.e

sets/numbers/numeric_set.e

sets/numbers/ordered_numeric_set.e

sets/numbers/q.e

sets/numbers/r.e

sets/numbers/rational.e

sets/numbers/rational_set.e

sets/numbers/real_set.e

sets/numbers/signed_numeric_set.e

sets/numbers/well_ordered_numeric_set.e

sets/numbers/z.e

sets/sets_checks

sets/sets_checks/set_checks.e

sets/sets_checks/subset_family_checks.e

sets/tuples

sets/tuples/element_homogeneous_pair.e

sets/tuples/element_set_tuple.e

sets/tuples/element_tuple.e

sets/tuples/homogeneous_pair.e

sets/tuples/n_tuple.e

sets/tuples/ordered_pair.e

sets/tuples/set_tuple.e

sets/tuples/tuples_checks

sets/tuples/tuples_checks/set_tuple_checks.e

sets/universe.e

files modified:
.bzrignore

functions/bijection.e

functions/equation.e

functions/permutation.e

functions/self_map.e

set_theory.ecf

sets/element.e

sets/set.e

sets/set_family.e

sets/subset_family.e

Show diffs side-by-side

added added

removed removed

binary_relations/

binary_relations/binary_relation.e

binary_relations/binary_relations_checks/

binary_relations/binary_relations_checks/binary_relation_checks.e

binary_relations/binary_relations_checks/endorelation_checks.e

binary_relations/element_endorelation.e

binary_relations/endorelation.e

binary_relations/equivalences/

binary_relations/equivalences/element_equivalence.e

binary_relations/equivalences/equivalence.e

binary_relations/equivalences/equivalences_checks/

binary_relations/equivalences/equivalences_checks/equivalence_checks.e

binary_relations/equivalences/integer_congruence.e

binary_relations/equivalences/set_partition.e

binary_relations/orders/

binary_relations/orders/anti_lexicographic_order.e

binary_relations/orders/lattice.e

binary_relations/orders/lexicographic_order.e

binary_relations/orders/order.e

binary_relations/orders/order_like.e

binary_relations/orders/order_on_pairs.e

binary_relations/orders/order_structure.e

binary_relations/orders/ordered_bijection.e

binary_relations/orders/ordered_binary_relation.e

binary_relations/orders/ordered_set.e

binary_relations/orders/ordered_universe.e

binary_relations/orders/orders_checks/

binary_relations/orders/orders_checks/lattice_checks.e

binary_relations/orders/orders_checks/order_checks.e

binary_relations/orders/orders_checks/ordered_set_checks.e

binary_relations/orders/strict_order.e

binary_relations/orders/totally_ordered_set.e

binary_relations/orders/well_ordered_bijection.e

binary_relations/orders/well_ordered_set.e

functions/bijection.e

functions/composable_function.e

functions/equation.e

functions/function_aware_ordered_set.e

functions/function_aware_relation.e

functions/function_aware_set.e

functions/function_producer_ordered_set.e

functions/function_producer_set.e

functions/functional_endorelation.e

functions/functions_checks/

functions/functions_checks/bijection_checks.e

functions/functions_checks/equation_checks.e

functions/functions_checks/mapping_checks.e

functions/functions_checks/self_map_checks.e

functions/homogeneous_function.e

functions/identity.e

functions/indexed_families/

functions/indexed_families/index_aware_set.e

functions/indexed_families/indexable_set.e

functions/indexed_families/indexed_choice.e

functions/indexed_families/indexed_family.e

functions/indexed_families/indexed_subset_family.e

functions/indexed_families/sequence.e

functions/indexed_families/sequence_aware_tuple.e

functions/indexed_families/sequential_choice.e

functions/indexed_families/sequential_subset_family.e

functions/mapping.e

functions/numeric_function.e

functions/permutation.e

functions/real_argument_function.e

functions/real_function.e

functions/real_functions/

functions/real_functions/function_from_reals.e

functions/real_functions/indexed_real_family.e

functions/real_functions/mapping.e

functions/real_functions/numeric_function.e

functions/real_functions/real_function.e

functions/real_functions/real_sequence.e

functions/reals/

functions/remarkable_functions/characteristic_function.e

functions/remarkable_functions/characteristic_function.e

functions/remarkable_functions/choice_function.e

functions/remarkable_functions/choice_function.e

functions/remarkable_functions/constant_function.e

functions/remarkable_functions/constant_function.e

functions/remarkable_functions/identity.e

functions/remarkable_functions/indexed_choice.e

functions/remarkable_functions/indexed_family.e

functions/remarkable_functions/indexed_subset_family.e

functions/remarkable_functions/real_sequence.e

functions/remarkable_functions/remarkable_function_aware_set.e

functions/remarkable_functions/remarkable_function_producer_set.e

functions/remarkable_functions/remarkable_functions_checks/

functions/remarkable_functions/remarkable_functions_checks/characteristic_function_checks.e

functions/remarkable_functions/remarkable_functions_checks/constant_function_checks.e

functions/remarkable_functions/remarkable_functions_checks/identity_checks.e

functions/remarkable_functions/remarkable_functions_checks/indexed_subset_family_checks.e

functions/remarkable_functions/remarkable_functions_checks/real_sequence_checks.e

functions/remarkable_functions/remarkable_functions_checks/sequential_subset_family_checks.e

functions/remarkable_functions/sequence.e

functions/remarkable_functions/sequential_choice.e

functions/remarkable_functions/sequential_subset_family.e

functions/self_map.e

internal_operations/

internal_operations/additive_monoid.e

internal_operations/additive_operation.e

internal_operations/associative_operation.e

internal_operations/groupoid.e

internal_operations/homomorphism.e

internal_operations/internal_operation.e

internal_operations/isomorphism.e

internal_operations/monoid.e

internal_operations/multiplicative_monoid.e

internal_operations/multiplicative_operation.e

internal_operations/operation_structure.e

internal_operations/unital_groupoid.e

numbers/complex.e

numbers/complex_set.e

numbers/endocrossable_universe.e

numbers/integer_congruence.e

numbers/integer_set.e

numbers/natural_set.e

numbers/numeric_order.e

numbers/numeric_set.e

numbers/ordered_numeric_set.e

numbers/rational.e

numbers/rational_set.e

numbers/real_set.e

numbers/signed_numeric_set.e

numbers/universe.e

operations/additive_operation.e

operations/algebra/

operations/algebra/additive_monoid.e

operations/algebra/groupoid.e

operations/algebra/monoid.e

operations/algebra/multiplicative_monoid.e

operations/algebra/unital_groupoid.e

operations/associative_operation.e

operations/internal_operation.e

operations/morphisms/

operations/morphisms/composable_homomorphism.e

operations/morphisms/homomorphism.e

operations/morphisms/isomorphism.e

operations/morphisms/morphism_producer_grupoid.e

operations/morphisms/morphism_producer_set.e

operations/multiplicative_operation.e

operations/operation_aware_functions/

operations/operation_aware_functions/operation_aware_bijection.e

operations/operation_aware_functions/operation_aware_composable_function.e

operations/operation_aware_functions/operation_aware_function.e

operations/operation_aware_functions/operation_aware_homogeneous_bijection.e

operations/operation_aware_functions/operation_aware_homogeneous_function.e

operations/operation_aware_functions/operation_aware_identity.e

operations/operation_aware_functions/operation_aware_self_map.e

operations/operation_aware_set.e

relations/binary_relation.e

relations/composable_relation.e

relations/endorelation.e

relations/equivalences/

relations/equivalences/equivalence.e

relations/equivalences/equivalence_aware_set.e

relations/equivalences/set_quotient.e

relations/orders/

relations/orders/anti_lexicographic_order.e

relations/orders/lattice.e

relations/orders/lexicographic_order.e

relations/orders/linear_set.e

relations/orders/ordainable_relation.e

relations/orders/ordainable_set.e

relations/orders/order.e

relations/orders/order_aware_set.e

relations/orders/order_like.e

relations/orders/order_on_pairs.e

relations/orders/ordered_set.e

relations/orders/strict_order.e

relations/orders/well_ordered_set.e

relations/relatable_set.e

relations/relation_aware_set.e

relations/relation_properties/

relations/relation_properties/binary_relation_properties.e

sets/composable_pair.e

sets/crossable_set.e

sets/element_equality.e

sets/element_set.e

sets/equalities/

sets/equalities/element_equality.e

sets/equalities/equality.e

sets/equalities/homogeneous_pair_equality.e

sets/equalities/ordered_pair_equality.e

sets/equalities/reference_equality.e

sets/equalities/value_equality.e

sets/equality.e

sets/homogeneous_pair.e

sets/mappable_set.e

sets/numbers/c.e

sets/numbers/complex.e

sets/numbers/complex_set.e

sets/numbers/integer_set.e

sets/numbers/n.e

sets/numbers/natural_set.e

sets/numbers/numbers_checks/

sets/numbers/numbers_checks/natural_set_checks.e

sets/numbers/numeric_order.e

sets/numbers/numeric_set.e

sets/numbers/ordered_numeric_set.e

sets/numbers/q.e

sets/numbers/r.e

sets/numbers/rational.e

sets/numbers/rational_set.e

sets/numbers/real_set.e

sets/numbers/signed_numeric_set.e

sets/numbers/well_ordered_numeric_set.e

sets/numbers/z.e

sets/ordered_pair.e

sets/reduceable_set.e

sets/reduceable_tuple.e

sets/set_family.e

sets/set_partition.e

sets/set_properties/

sets/set_properties/crossable_set_properties.e

sets/set_properties/homogeneous_pair_properties.e

sets/set_properties/set_properties.e

sets/set_properties/set_tuple_properties.e

sets/set_properties/subset_family_properties.e

sets/set_tuple.e

sets/sets_checks/

sets/sets_checks/set_checks.e

sets/sets_checks/subset_family_checks.e

sets/subset_family.e

sets/tuples/element_homogeneous_pair.e

sets/tuples/element_set_tuple.e

sets/tuples/element_tuple.e

sets/tuples/homogeneous_pair.e

sets/tuples/n_tuple.e

sets/tuples/ordered_pair.e

sets/tuples/set_tuple.e

sets/tuples/tuples_checks/

sets/tuples/tuples_checks/set_tuple_checks.e

sets/universe.e

sets/value_equality.e

Older »