📅 (2022-06-09 02:07:39 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system dune 3.2.0 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" maintainer: "The UniMath Development Team" homepage: "https://github.com/UniMath/UniMath" dev-repo: "git+https://github.com/UniMath/UniMath.git" bug-reports: "https://github.com/UniMath/UniMath/issues" license: "Kind of MIT" authors: ["The UniMath Development Team"] build: [make "BUILD_COQ=no" "-j%{jobs}%"] install: [make "BUILD_COQ=no" "install"] depends: [ "ocaml" "coq" {>= "8.12.2"} ] synopsis: "Library of Univalent Mathematics" url { src: "https://github.com/UniMath/UniMath/archive/refs/tags/v20210807.tar.gz" checksum: "sha512=db2f660aea7e4c7eda6d10173173b80d357f994ff148102df6d20b0098e4c4e3ec17f9956700e118b7ff043a4ef29827cccd1fe9f5f54b5f5deaebcac60c666c" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-unimath.20210807 coq.dev
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-unimath.20210807 coq.dev
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-unimath.20210807 coq.dev
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system dune 3.2.0 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers [NOTE] Package coq is already installed (current version is dev). The following actions will be performed: - install coq-unimath 20210807 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/1: [coq-unimath.20210807: http] [coq-unimath.20210807] downloaded from https://github.com/UniMath/UniMath/archive/refs/tags/v20210807.tar.gz Processing 1/1: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/2: [coq-unimath: make] + /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "make" "BUILD_COQ=no" "-j4" (CWD=/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-unimath.20210807) - make: command: Command not found - grep: build/CoqMakefile.make: No such file or directory - --- making .coq_makefile_input - coq_makefile -f .coq_makefile_input -o .coq_makefile_output - mv .coq_makefile_output build/CoqMakefile.make - make: command: Command not found - --- making UniMath/Foundations/All.v - --- making UniMath/MoreFoundations/All.v - --- making UniMath/Combinatorics/All.v - --- making UniMath/Algebra/All.v - --- making UniMath/NumberSystems/All.v - --- making UniMath/SyntheticHomotopyTheory/All.v - --- making UniMath/PAdics/All.v - --- making UniMath/CategoryTheory/All.v - --- making UniMath/Bicategories/All.v - --- making UniMath/Ktheory/All.v - --- making UniMath/Topology/All.v - --- making UniMath/RealNumbers/All.v - --- making UniMath/Tactics/All.v - --- making UniMath/SubstitutionSystems/All.v - --- making UniMath/Folds/All.v - --- making UniMath/HomologicalAlgebra/All.v - --- making UniMath/AlgebraicGeometry/All.v - --- making UniMath/Paradoxes/All.v - --- making UniMath/Induction/All.v - --- making UniMath/All.v - ulimit -v unlimited ; make -f build/CoqMakefile.make all - make[1]: Entering directory '/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-unimath.20210807' - COQDEP VFILES - COQC UniMath/Foundations/Init.v - COQC UniMath/Folds/aux_lemmas.v - File "./UniMath/Foundations/Init.v", line 38, characters 61-73: - Warning: The only parsing modifier has no effect in Reserved Notation. - [irrelevant-reserved-notation-only-parsing,parsing] - File "./UniMath/Foundations/Init.v", line 47, characters 62-74: - Warning: The only parsing modifier has no effect in Reserved Notation. - [irrelevant-reserved-notation-only-parsing,parsing] - File "./UniMath/Foundations/Init.v", line 69, characters 62-74: - Warning: The only parsing modifier has no effect in Reserved Notation. - [irrelevant-reserved-notation-only-parsing,parsing] - File "./UniMath/Foundations/Init.v", line 86, characters 62-74: - Warning: The only parsing modifier has no effect in Reserved Notation. - [irrelevant-reserved-notation-only-parsing,parsing] - File "./UniMath/Foundations/Init.v", line 196, characters 0-32: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - COQC UniMath/Foundations/Preamble.v - File "./UniMath/Foundations/Preamble.v", line 141, characters 0-32: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - COQC UniMath/Foundations/PartA.v - File "./UniMath/Foundations/PartA.v", line 350, characters 0-38: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/PartA.v", line 350, characters 0-38: - Warning: Declaring arbitrary terms as hints is fragile; it is recommended to - declare a toplevel constant instead [fragile-hint-constr,automation] - File "./UniMath/Foundations/PartA.v", line 375, characters 0-37: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/PartA.v", line 375, characters 0-37: - Warning: Declaring arbitrary terms as hints is fragile; it is recommended to - declare a toplevel constant instead [fragile-hint-constr,automation] - COQC UniMath/Foundations/PartB.v - COQC UniMath/MoreFoundations/WeakEquivalences.v - COQC UniMath/Foundations/UnivalenceAxiom.v - COQC UniMath/Combinatorics/DecSet.v - COQC UniMath/Foundations/PartC.v - COQC UniMath/Foundations/PartD.v - COQC UniMath/Combinatorics/Maybe.v - COQC UniMath/Foundations/UnivalenceAxiom2.v - COQC UniMath/Foundations/Propositions.v - COQC UniMath/Foundations/Sets.v - COQC UniMath/Foundations/HLevels.v - COQC UniMath/Folds/UnicodeNotations.v - COQC UniMath/Foundations/NaturalNumbers.v - COQC UniMath/Foundations/Tests.v - COQC UniMath/MoreFoundations/Bool.v - COQC UniMath/Algebra/BinaryOperations.v - COQC UniMath/Tactics/Utilities.v - COQC UniMath/Folds/folds_precat.v - COQC UniMath/Folds/folds_pre_2_cat.v - File "./UniMath/Foundations/NaturalNumbers.v", line 804, characters 0-33: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 813, characters 0-35: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 814, characters 0-34: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 829, characters 0-36: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 837, characters 0-37: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locali [...] truncated gnatureExamples.v - COQC UniMath/HomologicalAlgebra/KA.v - COQC UniMath/Induction/All.v - COQC UniMath/CategoryTheory/PseudoElements.v - COQC UniMath/CategoryTheory/categories/Universal_Algebra/EqAlgebras.v - COQC UniMath/CategoryTheory/elems_slice_equiv.v - COQC UniMath/CategoryTheory/ExponentiationLeftAdjoint.v - COQC UniMath/CategoryTheory/Inductives/Lists.v - COQC UniMath/CategoryTheory/Inductives/LambdaCalculus.v - COQC UniMath/CategoryTheory/DisplayedCats/Equivalences.v - File "./UniMath/CategoryTheory/DisplayedCats/Equivalences.v", line 283, characters 0-109: - Warning: - New coercion path [adjunction_of_right_adjoint_over_id_data; left_adj_over_id] : right_adjoint_over_id_data >-> disp_functor is ambiguous with existing - [functor_of_right_adjoint_over_id] : right_adjoint_over_id_data >-> disp_functor. - [ambiguous-paths,typechecker] - File "./UniMath/CategoryTheory/DisplayedCats/Equivalences.v", line 315, characters 0-16: - Warning: - New coercion path [adjunction_of_right_adjoint_over_id_data; left_adj_over_id] : right_adjoint_over_id_data >-> disp_functor is ambiguous with existing - [functor_of_right_adjoint_over_id] : right_adjoint_over_id_data >-> disp_functor. - [ambiguous-paths,typechecker] - COQC UniMath/CategoryTheory/DisplayedCats/Equivalences_bis.v - Finished transaction in 34.332 secs (5.249u,0.003s) (successful) - COQC UniMath/CategoryTheory/DisplayedCats/Codomain.v - COQC UniMath/CategoryTheory/DisplayedCats/Limits.v - COQC UniMath/CategoryTheory/DisplayedCats/Adjunctions.v - File "./UniMath/CategoryTheory/DisplayedCats/Adjunctions.v", line 24, characters 0-65: - Warning: - New coercion path [adjunction_of_right_adjoint_over_id_data; left_adj_over_id] : right_adjoint_over_id_data >-> disp_functor is ambiguous with existing - [functor_of_right_adjoint_over_id] : right_adjoint_over_id_data >-> disp_functor. - [ambiguous-paths,typechecker] - COQC UniMath/CategoryTheory/DisplayedCats/ComprehensionC.v - COQC UniMath/SubstitutionSystems/SignatureCategory.v - COQC UniMath/Bicategories/Core/Examples/StrictCats.v - COQC UniMath/Bicategories/DisplayedBicats/Fibration.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Sigma.v - Finished transaction in 119.132 secs (19.096u,0.049s) (successful) - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayedCatToBicat.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Prod.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DispDepProd.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/FullSub.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Map1Cells.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/PointedOneTypes.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/ContravariantFunctor.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/KleisliTriple.v - COQC UniMath/SubstitutionSystems/MonadsFromSubstitutionSystems.v - COQC UniMath/SubstitutionSystems/LiftingInitial.v - COQC UniMath/SubstitutionSystems/LiftingInitial_alt.v - COQC UniMath/SubstitutionSystems/LamSignature.v - COQC UniMath/HomologicalAlgebra/TranslationFunctors.v - COQC UniMath/HomologicalAlgebra/CohomologyComplex.v - COQC UniMath/CategoryTheory/FiveLemma.v - COQC UniMath/CategoryTheory/categories/CartesianCubicalSets.v - COQC UniMath/CategoryTheory/Inductives/Trees.v - COQC UniMath/CategoryTheory/DisplayedCats/Examples.v - COQC UniMath/CategoryTheory/Monoidal/ActionBasedStrengthOnHomsInBicat.v - COQC UniMath/Bicategories/DisplayedBicats/FiberCategory.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Sub1Cell.v - COQC UniMath/Bicategories/Core/Examples/Groupoids.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Map2Cells.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Identitor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Compositor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictIdentitor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictCompositor.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Cofunctormap.v - COQC UniMath/SubstitutionSystems/ModulesFromSignatures.v - COQC UniMath/SubstitutionSystems/Lam.v - COQC UniMath/SubstitutionSystems/LamHSET.v - COQC UniMath/SubstitutionSystems/BindingSigToMonad.v - COQC UniMath/HomologicalAlgebra/Triangulated.v - COQC UniMath/HomologicalAlgebra/MappingCone.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/FiberBicategory1.v - Finished transaction in 249.613 secs (40.635u,0.067s) (successful) - Finished transaction in 178.126 secs (27.82u,0.07s) (successful) - COQC UniMath/Bicategories/PseudoFunctors/Display/PseudoFunctorBicat.v - File "./UniMath/Bicategories/PseudoFunctors/Display/PseudoFunctorBicat.v", line 181, characters 13-14: - Warning: Ignoring implicit binder declaration in unexpected position. - [unexpected-implicit-declaration,syntax] - File "./UniMath/Bicategories/PseudoFunctors/Display/PseudoFunctorBicat.v", line 181, characters 15-16: - Warning: Ignoring implicit binder declaration in unexpected position. - [unexpected-implicit-declaration,syntax] - File "./UniMath/Bicategories/PseudoFunctors/Display/PseudoFunctorBicat.v", line 181, characters 17-18: - Warning: Ignoring implicit binder declaration in unexpected position. - [unexpected-implicit-declaration,syntax] - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictPseudoFunctorBicat.v - COQC UniMath/Bicategories/PseudoFunctors/PseudoFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/StrictPseudoFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Identity.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Composition.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Constant.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/ApFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/OpFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/PseudofunctorFromMonoidal.v - COQC UniMath/Bicategories/Transformations/PseudoTransformation.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayedInserter.v - Finished transaction in 39.77 secs (6.089u,0.05s) (successful) - COQC UniMath/Bicategories/DisplayedBicats/Examples/Displayed2Inserter.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Algebras.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/CwF.v - File "./UniMath/Bicategories/DisplayedBicats/Examples/CwF.v", line 136, characters 8-61: - Error: - In environment - C : precategory - hsC : has_homsets C - F : opp_precat_data C ⟶ SET - c : C - c' : C - A : F c - e : c = c' - The term - "transportf - (λ d : opp_precat_data C, (F : opp_precat_data C ⟶ SET) d : hSet) e A" - has type - "pr1hSet - (@functor_on_objects - (precategory_ob_mor_from_precategory_data - (opp_precat_data (precategory_data_from_precategory C))) - (precategory_ob_mor_from_precategory_data - (precategory_data_from_precategory - (category_to_precategory - (univalent_category_to_category HSET_univalent_category)))) - (functor_data_from_functor - (opp_precat_data (precategory_data_from_precategory C)) - (precategory_data_from_precategory - (category_to_precategory - (univalent_category_to_category HSET_univalent_category))) F) - c')" while it is expected to have type - "pr1hSet - (@functor_on_objects - (precategory_ob_mor_from_precategory_data - (precategory_data_from_precategory (opp_precat ?C))) - (precategory_ob_mor_from_precategory_data - (precategory_data_from_precategory - (category_to_precategory - (univalent_category_to_category HSET_univalent_category)))) - (functor_data_from_functor - (precategory_data_from_precategory (opp_precat ?C)) - (precategory_data_from_precategory - (category_to_precategory - (univalent_category_to_category HSET_univalent_category))) - ?F) ?c)". - - make[2]: *** [build/CoqMakefile.make:793: UniMath/Bicategories/DisplayedBicats/Examples/CwF.vo] Error 1 - make[2]: *** Waiting for unfinished jobs.... - Finished transaction in 455.056 secs (79.332u,0.091s) (successful) - make[1]: *** [build/CoqMakefile.make:409: all] Error 2 - make[1]: Leaving directory '/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-unimath.20210807' - make: *** [Makefile:92: all] Error 2 [ERROR] The compilation of coq-unimath failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build make BUILD_COQ=no -j4". #=== ERROR while compiling coq-unimath.20210807 ===============================# # context 2.0.10 | linux/x86_64 | ocaml-base-compiler.4.14.0 | file:///home/bench/run/opam-coq-archive/released # path ~/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-unimath.20210807 # command ~/.opam/opam-init/hooks/sandbox.sh build make BUILD_COQ=no -j4 # exit-code 2 # env-file ~/.opam/log/coq-unimath-20903-335865.env # output-file ~/.opam/log/coq-unimath-20903-335865.out ### output ### # has type # [...] # (precategory_data_from_precategory # (category_to_precategory # (univalent_category_to_category HSET_univalent_category))) # ?F) ?c)". # # make[2]: *** [build/CoqMakefile.make:793: UniMath/Bicategories/DisplayedBicats/Examples/CwF.vo] Error 1 # make[2]: *** Waiting for unfinished jobs.... # Finished transaction in 455.056 secs (79.332u,0.091s) (successful) # make[1]: *** [build/CoqMakefile.make:409: all] Error 2 # make[1]: Leaving directory '/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-unimath.20210807' # make: *** [Makefile:92: all] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build coq-unimath 20210807 +- - No changes have been performed # Run eval $(opam env) to update the current shell environment 'opam install -y -v coq-unimath.20210807 coq.dev' failed. The middle of the output is truncated (maximum 20000 characters)
No files were installed.
true


class documentation
class BoundingBox(Rectangle):
Class representing a bounding box (a rectangular area) that encloses some objects.
| Method | __ior__ |
Replaces this bounding box with the union of itself and another. |
| Method | __or__ |
Takes the union of this bounding box with another. |
| Instance Variable | _bottom |
Undocumented |
| Instance Variable | _left |
Undocumented |
| Instance Variable | _right |
Undocumented |
| Instance Variable | _top |
Undocumented |
Inherited from Rectangle
:
| Method | __bool__ |
Undocumented |
| Method | __eq__ |
Undocumented |
| Method | __hash__ |
Undocumented |
| Method | __init__ |
Creates a rectangle. |
| Method | __ne__ |
Undocumented |
| Method | __repr__ |
Undocumented |
| Method | bottom |
Sets the Y coordinate of the bottom edge of the box |
| Method | contract |
Contracts the rectangle by the given margins. |
| Method | coords |
Sets the coordinates of the corners. |
| Method | expand |
Expands the rectangle by the given margins. |
| Method | height |
Sets the height of the rectangle by adjusting the bottom edge. |
| Method | intersection |
Returns the intersection of this rectangle with another. |
| Method | isdisjoint |
Returns True if the two rectangles have no intersection. |
| Method | isempty |
Returns True if the rectangle is empty (i.e. it has zero width and height). |
| Method | left |
Sets the X coordinate of the left side of the box |
| Method | midx |
Moves the center of the box to the given X coordinate |
| Method | midy |
Moves the center of the box to the given Y coordinate |
| Method | right |
Sets the X coordinate of the right side of the box |
| Method | shape |
Sets the shape of the rectangle (width, height). |
| Method | top |
Sets the Y coordinate of the top edge of the box |
| Method | translate |
Translates the rectangle in-place. |
| Method | union |
Returns the union of this rectangle with another. |
| Method | width |
Sets the width of the rectangle by adjusting the right edge. |
| Class Variable | __slots__ |
Undocumented |
| Instance Variable | height |
The height of the rectangle |
| Instance Variable | width |
The width of the rectangle |
| Property | bottom |
The Y coordinate of the bottom edge of the box |
| Property | coords |
The coordinates of the corners. |
| Property | left |
The X coordinate of the left side of the box |
| Property | midx |
The X coordinate of the center of the box |
| Property | midy |
The Y coordinate of the center of the box |
| Property | right |
The X coordinate of the right side of the box |
| Property | shape |
The shape of the rectangle (width, height) |
| Property | top |
The Y coordinate of the top edge of the box |
overrides
igraph.drawing.utils.Rectangle.__ior__
Replaces this bounding box with the union of itself and another.
Example:
>>> box1 = BoundingBox(10, 20, 50, 60) >>> box2 = BoundingBox(70, 40, 100, 90) >>> box1 |= box2 >>> print(box1) BoundingBox(10.0, 20.0, 100.0, 90.0)


{% extends "records/base.html" %} {% block title %}Delete record{% endblock title %} {% block page-content %}
Are you sure you want to delete "{{ object }}"?


{% extends "base.html" %} {% block content %} Are your sure you wish to restore this data for {{revision.object.hostname}}?:


<%--
Login
--%>
Course Catalog
Library
News and Feed
Academic Calendar
Emergency Details
On-Campus Jobs
Discussion Forum
Dining


I've finally got my Emon Tx v3 system installed and working. There were a few spurious temperature readings at the start that I would like to remove. From previous posts, I can see that it used to be possible to edit/remove specific datapoints in Emoncms, but that functionality was disabled due to causing some other problems. Is there any other way to achieve this without deleting feeds and starting again? (I could do that, but I'm looking for a solution I could use in future if the occasional dodgy result creeps in.)
»
Re: Editing Data Points on Emoncms
emoncms.org or self-hosted?
Did you see the remove spikes tool in useful scripts? there are a couple of posts on here somewhere by users that have used them. starting with http://openenergymonitor.org/emon/node/5456
Paul
Re: Editing Data Points on Emoncms
Paul,
Thanks for the response. Am I correct in thinking this is a solution for the local install only? I'm using the emoncms server at emoncms.org, so not sure that this helps me? (If it does, then can you point me at the idiot's guide as to how please!)
Robert.
Re: Editing Data Points on Emoncms
The remove spikes tool is a script that is run on a local installation, and not emoncms.org.
I'm afraid you may have to resort to plan B at this time, although the feature may appear at some time in the future.
Paul
Re: Editing Data Points on Emoncms
I took the hint and have switched over to a local installation! All well, except that I have no inputs showing on emoncms (I can log in OK). Everything was working fine previously with emoncms.org, and the only thing I (initially) changed was the URL to point at localhost, (and running localemoncms-enable). I've mucked about randomly with various things since, but nothing makes any difference. I'm a complete noob at this, so struggling to work out where to look for problems. Is there a guide to debugging anywhere?
I looked at the logs suggested
$ tail -f /var/log/emonhub/emonhub.log and got a string of
1970-01-01 00:00:35,973 WARNING Send failure: wanted 'ok' but got Can't connect to redis database, it may be that redis-server is not installed or started see readme for redis installation
$ tail -f /var/log/feedwriter.log - didn't exist
$ tail -f /var/log/emoncms.log - didn't exist
Robert.
Re: Editing Data Points on Emoncms
What hardware have you installed emoncms on, and which installation guide did you use?
Paul
Re: Editing Data Points on Emoncms
Paul,
I'm using the default emoncms installation on Raspberry Pi Model B+ , using the Pre-Loaded microSD Card from the shop. I bought it around Nov last year.
I've looked at several of the installation guides here, but the primary one was
https://github.com/openenergymonitor/documentation/blob/master/Applicati...
plus section 3a of
https://github.com/emoncms/emoncms/blob/bufferedwrite/docs/setup.md
Hardware is emonBase - Raspberry Pi web-connected base-station, with the Pre-build SD Card (~Nov 2014). I originally set it up to point at emoncms.org, and that worked fine. So I think the nodes part is OK. I then tried to switch to the local installation, and that's when all my inputs disappeared.
Robert
[You had replied, but it was held for moderation. I've merged your two posts - RW]
Re: Editing Data Points on Emoncms
Still not sure which version you are using, low-write? (if so, you may need to change the system to be writable first).
...and, if the log is correct, and redis is corrupted/not installed, it can be installed by;
Add pecl redis module to php5 config
It will be also worthwhile changing the log level in emonhub to 'debug' to help find the problem;
Reset the system to read only;
pb66 is the expert with these problems, and will probably pick this up when he checks in.
Paul
Re: Editing Data Points on Emoncms
Aha, I see what you mean. In truth, I'm not sure which version I'm running either! My MicroSD card came in a bag labelled "GatewayPi". I presume that is not the low-write version. What is the easiest way to tell which version I'm running??
I followed your steps above, but no joy. I then turned on debug, and all looked well, although my Inputs page remained resolutely blank. I then began to suspect my browser, so out of curiosity, I fired up Chrome instead of IE11. And there were all my inputs sitting looking at me.
So I suspect it was the browser all along. Did I miss a warning not to use Internet Explorer 11 somewhere? (Or perhaps I have some security widget tweaked somewhere in IE, although that's unlikely.)
Anyway, thanks for all your help. I think I will "upgrade" to the low-write code (if I don't already have it), so expect another cry for help at some stage in the future!
Robert.
Re: Editing Data Points on Emoncms
Well, it didn't take me long to come up with another problem. When setting up the Log to Feed info, I don't have Fixed Interval With Averaging (PHPFiwa) available in the drop-down menu. I just have the two "no averaging" options. Er, shouldn't the Averaging options be available with a local emoncms installation?
Robert.
Re: Editing Data Points on Emoncms
Hello Robert, the averaging feed engines are more disk write intensive than the non-averaging feed engines so there is a good reason for its omission on the low write sd card image as disk longevity is the main priority.
Trystan
Re: Editing Data Points on Emoncms
In addition to the "redis" error the time and date had reverted to 1970, this issue is caused by the location of the "fake-hwclock" file on the read-only image and can be overcome using "ntp-backup" which can be installed with
git clone https://github.com/emonhub/ntp-backup.git ~/ntp-backup && ~/ntp-backup/install
Paul


Amanuel Ras at 4:25pm, 30th Octmber 2014
Purchesed R119 worth products from Amanuel Ras
Amanuel Ras at 4:25pm, 30th Octmber 2014
Purchesed R119 worth products from Amanuel Ras
First Name : Angeline
Last Name : Mcclain
Birthday: 18 12 1982
Address: Rosser, South Africa
Email<EMAIL_ADDRESS>Mobile : +27620705264
Phone : +27620705264


Whoops. this kitty is missing an alt tag which we see because `display-missing-image-alts` is enabled.
Once included on your site, 508-view doesn't do anything by default. Instead, it enables when a specific GET parameter is present in the URL. By default the parameter is `508` but you can change it with the `url-parameter` setting.
If you want 508 view enabled regardless of parameters, set the `enable-via-url` setting to false. Test out the 508 view using the button now:
Enable 508 View Disable 508 ViewThe `use-helper-styles` overrides background colors and fonts. It also highlights links that are focusable. Overall it attempts to present a content focused view that removes visuals to get a better idea of how a screen-reader might interpret your site.
Sometimes visual element will contain an sr-only tag to convey its content. The `display-sr-only` tag makes it visible:
Chubby Kitty Breathing HeavilyThis modal is missing an aria-hidden tag, but set to display: none in css. The `display-aria-visible` recognizes this and displays the modal to better represent what a screen reader would see.
The tag name, id, and class are also logged in the console to help you hunt down the offending elements.
Close Modal


Please complete your usage declaration for all time periods. Please include reports for past and current use.


For canoe cruising, a certain amount of food supplies and the necessary utensils for cooking should be carried in a single box or chest, so that when you cook a meal on board, you may have in one box everything necessary for preparing a meal. When going ashore for your meal, you will be able to carry everything you need in one hand!
If on a long cruise, the large portion of your food supply may be kept in different parts of the canoe, but the box should contain enough for at least three meals and can be replenished from the larger store when stopping for the night or at a camping place for any length of time. The larger the box that your stowage room will allow, the greater your comfort and ease will be.
The box may be made of wood, tin or galvanized iron. A box made of wood is cheapest and can be easily made. If made correctly and properly taken care of, a wood grub box should last; but a box of either japanned or painted tin or galvanized iron can take a lot of hits, and is preferable if money is no object.
Of course, it must be water-tight and if made of wood, the nicest joining and dove-tailing must be done. It should be varnished inside and out with shellac or boat varnish. Arbitrary dimensions cannot be given because of the varying sizes of canoes and the different amounts of provisions carried on cruises. Therefore, you should first determine the amount and variety of eatables you will carry, then construct the box according to your needs and your stowage room in the cockpit.
If made of wood quarter inch or 5/16 stuff (pine) will do, and if the box is to be used as a seat the top and bottom pieces should be heavier, say 3/8 of an inch. The cover should be two inches deep and the handle by which the box is carried should be a thin, wide, flat strap tacked to the cover.
If the box is not used as a seat but is stowed under the deck it will be found an advantage to have the flanges of the cover fall over the side pieces of the box and the strap tacked to one end piece, carried over the cover and fastened by a hook to an eye in the other end piece in reach of the hand, so that the cover may be removed and articles obtained from the box without taking it from under the deck.
If used as a seat the cover may be hinged on one side and two hooks fastened at the ends on the other, and for the back rest two pieces of three-quarter inch pine are screwed to the sides, running aft horizontally six or eight inches from the aftermost end of the box, holes being bored in them an inch apart "athwartship" and cut opposite each other, through which a quarter-inch brass rod is passed for the back rest to play on. As the lower end of the back rest strikes the end of the box near the floor when in use, it may be "slanted" as inclination demands by changing the brass rod from one set of holes to another.
Find a no hassle grub box here: Amazon
To carry the provisions in the box so that they will not mix or spill, several water-tight tins should be used.
A pint or quart earthen jar with water-tight screw-top should be used to keep butter sweet in hot weather and which may be enveloped in a net and lowered to the bottom of the river or lake without fear of its leaking.
In the tin cans may be carried:
The alcohol stove and utensils necessary to cook a meal should go in the box, such as coffee pot, cup, fork, knife, spoon, frying pan and plates. The coffee pot should be of small size, with handle and lip riveted. If soldered, they are likely to melt off. Cups or plates should be of tin or granite ware. The fork and knife have their sheaths of leather inside the box cover. The plates should nest in the frying pan, which should have no handle, and is fastened inside the chest cover by two buttons, so that it may be readily released. Next the knife and fork have a sheath for a pair of small blacksmith's pliers. This instrument serves as a handle to the frying pan and a lifter for everything on the fire, and can always be kept cool.
A three-quart tin or granite ware pail is necessary for stews, and two smaller ones may be nested in it, of two-quart and three-pint capacity, respectively. Put the can of condensed milk in the smallest pail. It will be out of the way, and won't make the rest of the things in the chest sticky.
If you carry potatoes, onions or other vegetables, always have enough in the chest for three meals. The surplus supplies of provisions, such as vegetables, extra bread, crackers, flour, meal, pork or bacon, etc., should be carried in waterproof bags, and they can then be stowed wherever necessary to properly trim the canoe.
These waterproof bags may be used also for clothing and blankets. They are made of unbleached muslin, sewn in a lap seam, with a double row of stitches. When sewn they are dipped in water and slightly shaken to remove the drops, and then while wet a mixture of equal parts of boiled oil, raw oil and turpentine is applied to the outside with a brush. This takes about a week to become thoroughly dry, and then another coat is put on without dampening the cloth, and if a little liquid drier is added to the mixture, this coat will dry in four or five days.
Having prepared several bags, the provisions, clothing, blankets, etc., are put in the bag, and its mouth is inserted in that of another bag of the same size, the latter being drawn on like a stocking as far as it will go. If several bags are used instead of one or two large ones, the canoe can be trimmed and packed to better advantage.
You can find water proof bags at any sporting goods store, or here: Amazon
A canoeist's portable oven is made of two small basins, one of which has "ears" riveted to its rim, so that when it is placed bottom up on the other the ears will spring over the rim of the second basin, thus making an oven that is not air-tight, allowing gases to escape. The basins should be made of sheet-iron, and, as their interiors can easily be kept clean, they answer very well for soup dishes.
Instructions for baking in them will be given later on. These should not go in the provision chest, as they will smut everything with which they come in contact. Butter, I have found, keeps better in its jar outside of the chest than in. Outside, too, are kept a small jug of molasses, and a jug of fresh water, if cruising on the "briny."
There is no perfect canoe stove. The "flamme forcé" is probably as good as any. It takes up a little more room than the folding "pocket" variety, and it does not give more heat; but it burns for a longer time, and is not top-heavy when a heavy pot or pan is set on it. For cooking in large utensils have three of these flamme forcé alcohol lamps, light them and place them side by side, and you can cook in this way a dozen slapjacks at once on a big griddle, if you like.
Danforth, the fluid man, makes a small canoe stove that would be preferable to all others if his fluid were obtainable at all the corners of the earth that canoeists frequent; but unfortunately it is not.
Beware of "folding stoves" to use ashore and burn wood in. They are the greatest possible nuisances—smutty, red-hot and cumbersome. Don't carry an oil stove. But if you really must, put the nasty thing in a large bucket, and only remove it from this receptacle when absolutely necessary.
Now as to eatables in general, besides what I have already mentioned, condensed milk is a good thing, but condensed coffee, condensed eggs and condensed beef are abominations. Self-raising or Hecker's prepared flour, wheat, rye, Indian or Graham, is easily made into bread and slapjacks. The directions come with the packages. Pilot bread will keep an indefinite time, and is not so unpalatable as hard-tack. Indian meal is very nutritious and easily made up, as it requires nothing to lighten it; scald it before using when it is not fresh. Canned tomatoes, corn, fruits, beans, soups, salmon, etc., are easy to prepare, and can be stored as ballast in the canoe. Mr. Hicks, of the Toronto Canoe Club, prepares certain kinds of food in cans for ballast as follows, according to the American Canoeist:
"Get a number of flat square tin cans made like oyster cans, of a handy size to lie under your floor boards.  Get as much meat in as you can before putting in the fat. Put up fruit in square flat cans in the same way. There is your ballast, and heavy stuff it is. When the provisions run short let the crew feed on the ballast. The preparation described is far more nutritious than canned corned beef, is more palatable, and will keep indefinitely—that is, throughout a very long cruise."
I have not tried this method of preserving provisions, but the theory is excellent, and I do not see why it would not be a feasible scheme. The Brunswick canned soups are the cheapest made, are easily prepared and as wholesome as any; but I have known squeamish canoeists who would not use them because they didn't like the looks of the powder to which they are desiccated. Dried beef, corned beef, lemons and sardines make good additions to an outfit. Potatoes, onions and other vegetables should be procured en route as needed, if possible.
As it may confuse some beginners to know how much of each article of food to take on a cruise, I list below the exact amount of provisions I carried on a cruise of a week last autumn. I did not run short of anything at the end of the week, but I had not provisions enough left for three square meals:
For more information on Canoe Grub Boxes, head on over to Youtube:


Whale
posted a new
bounty
Bounty
#96
on
Helpful
¢3,444
Now
HTML
CSS
Make the categry list a dropdown so it doesnt brek the layout
Comment
Whale
posted a new
bounty
Bounty
#96
on
Helpful
¢3,444
Now
HTML
CSS
Make the categry list a dropdown so it doesnt brek the layout
Peter
, and 112 like this
View all 115 comments
Whale
I love this awsome comment
Comment
Whale
posted a new
bounty
Bounty
#96
on
Helpful
¢3,444
Now
HTML
CSS
Make the categry list a dropdown so it doesnt brek the layout
Peter
, and 112 like this
View all 115 comments
Whale
I love this awsome comment
Comment
Whale
posted a new
bounty
Bounty
#96
on
Helpful
¢3,444
Now
HTML
CSS
Make the categry list a dropdown so it doesnt brek the layout
Comment
Whale
posted a new
bounty
Bounty
#96
on
Helpful
¢3,444
Now
HTML
CSS
Make the categry list a dropdown so it doesnt brek the layout
Peter
, and 112 like this
View all 115 comments
Whale
I love this awsome comment
Comment
Make the categry list a dropdown so it doesnt brek the layout
Whale
I love this awsome comment


Register Here
State :
AndhraPradesh
ArunachalPradesh
Assam
Bihar
Chattisgarh
Goa
Gujarat
Haryana
Himachal Pradesh
Jammu and Kashmir
Jharkhand
Karnataka
Kerala
Madhya Pradesh
Maharashtra
Mizoram
Nagaland
Odisha
Punjab
Rajastan
Sikkim
Tamil Nadu
Telangana
Tripura
Uttar Pradesh
Uttarakhand
West Bengal
First Name:
Firstname Required
Only Alphabets Allowed
Last Name:
Lastname Required
Only Alphabets Allowed
Email:
Email Required
Not a valid email
Contact Number:
Phone number is required
Phone number must be 10 digits
Password:
Password Need To Be Set
Password less than 6 characters
Password more than 12 characters
Confirm Password:
Password Required
Passwords Not Matched
I Agree to the terms and conditions
You should agree to the terms and conditions
{{buttontxt}}
Reset
Hi {{fname1}}!


Solving our List Problem
Or: Combine Value and Type Level
Or: How to constrain your Value Level Programs
@notesMd{
- everything happened at compile time so far
- but maybe even we want to write a program that actually runs?
}
The Usecase
We can do better than that!
Lists in Functional Languages
@notesMd {
- many of you probably know that, but maybe you haven't come across it yet
}
Starting at the Value Level
@includeCode("app/list/Lists.scala", "list-trait-val")
@includeCode("app/list/Lists.scala", "nil-val")
@includeCode("app/list/Lists.scala", "cons-val")
@notesMd{
- in the implementation of `+` => the first + sums 2 Ints and the second + calls our method recursively on the tail IntList
}
The translation #1
@includeCode("app/list/Lists.scala", "list-trait-val")
@includeCode("app/list/Lists.scala", "list-trait-type")
@notesMd {
- we promoted the size from a value level property to a type level property
- please note that the `+` method accepts an IntList which is tagged with the same size type parameter
}
@rules(3)
The translation #2
@includeCode("app/list/Lists.scala", "nil-val")
@includeCode("app/list/Lists.scala", "nil-type")
@notesMd {
- we can get rid of our requirement check
}
@rules(4)
The translation #3
@includeCode("app/list/Lists.scala", "cons-val")
@includeCode("app/list/Lists.scala", "cons-type")
An interesting detail:
@notesMd {
- the class is tagged with the size of the tail
- then i pass the successor of the tail to the super constructor
- because if have no means to express a predecessor in my program
}
Final Code
@includeCode("app/list/ListExamples.scala", "list-trait-val")
@includeCode("app/list/ListExamples.scala", "nil-val")
@includeCode("app/list/ListExamples.scala", "cons-val")
@includeCode("app/list/ListExamples.scala", "list-trait-type", "margin-bottom: 38px;")
@includeCode("app/list/ListExamples.scala", "nil-type", "margin-bottom: 107px;")
@includeCode("app/list/ListExamples.scala", "cons-type")
@notesMd {
- the actual running code did not change at all
- we just elevated size from the value level to the type level
}


Star Wars: The Phantom Menace
A simple review by M. Pierce
I have never seen a man so in love with himself than George Lucas. With the overt success of the three original Star Wars films, Lucas has become, not necessarily a filmmaker, but the head cheeze at a huge toy company, with The Phantom Menace the new product on the shelve. Only this toy was made for $115 million, but every kid wants it, and, like all other expensive toys, falls apart within an hour after playing with it.
The product in question, Star Wars Episode 1: The Phantom Menace (jeez!), is pure and simple: Its about the money, baby! No one in their right mind would create such a fiasco if they knew it wouldn't make a ton of money before its fourth week of release. I come to the SW franchise as a stranger, since I have absolutely no idea why the SW movies are so popular.
Phantom Menace is like the first SW, minus 10. Nothing in the whole concept is remotely enjoyable. Even the special effects seem rather bland. The story in this new one is a mindless mess...the acting wooden...and the action sequences like something out of a video game.
SW: Phantom Menace is one of the worst films of the year so far. With a title like SW E1: TPM, Lucas has one big head on those shoulders. I thought Chris Carter did for releasing an X-Files movie, although, that movie adaptation was an excellent way to spend two hours. PM is one long headache.
*1/2 (out of ****)
1999 (c)
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


HLA-C*01:07
Back to allele selection.
Motif
Length distribution
Extracted MHC positions (pseudosequence)
YFSGYREKYRQTDVSNLYGLWCDDYYTWAERAYTWYX
Alleles with identical predictions
HLA-C*01:07 has identical extracted MHC positions (pseudosequence) as the following others. Predictions for these alleles are the same.
- HLA-C*01:100
- HLA-C*01:104
- HLA-C*01:112
- HLA-C*01:113
- HLA-C*01:119
- HLA-C*01:122
- HLA-C*01:123
- HLA-C*01:124
- HLA-C*01:125
- HLA-C*01:132
- HLA-C*01:134
- HLA-C*01:144
- HLA-C*01:15
- HLA-C*01:16
- HLA-C*01:20
- HLA-C*01:26
- HLA-C*01:28
- HLA-C*01:32
- HLA-C*01:33
- HLA-C*01:41
- HLA-C*01:42
- HLA-C*01:52
- HLA-C*01:57
- HLA-C*01:58
- HLA-C*01:62
- HLA-C*01:66
- HLA-C*01:68
- HLA-C*01:71
- HLA-C*01:74
- HLA-C*01:75
- HLA-C*01:92
- HLA-C*01:94
- HLA-C*01:96


Do you have any concerns about the quality of your municipal drinking water?
Vote in our weekly PAN Poll now
Do you have any concerns about the quality of your municipal drinking water?
Do you have any concerns about the quality of your municipal drinking water?


As a huge player in this field with combined technical experience of over a decade, we ensure that the smooth running of your data center is our business. We provide services ranging from the design phase of developing the data center to the actual developing and running of the infrastucture.
Read moreAs one of the leading web design and development companies in the region and with several satisfied customers all over the country, we have the knowledge and expertise to make something wonderful that really represents your brand and fulfils your customers’ needs.
Read more


This page shows a number of common ways in which you might want to style your text. For example, this first paragraph has a drop cap, and the heading above uses a subtle shadow. To see how this is accomplished, right click on the page and choose "View Page Source" from the context menu in either Firefox or Chrome (or most other browsers as well). All styles are defined in a <style>
element in the <head>
section of the document, which makes it easier for you to see the styles and HTML source in one place. Normally, you'd want to split your styles into a separate file and then link that file to the page using a <link>
element.
Instead of showing you every single property that controls the appearance of text and paragraphs (see the CSS text formatting reference for that), I'll use this page to show you how to do a few common things you might want to do that involve multiple settings.
Following is a paragraph on which I've defnied a class
attribute equal to 'motto'. I can then use CSS to give this text some different formatting: in this case, italic, slightly larger size, and center alignment
The iSchool is my school!
Browsers simply indent blockquotes by default, but it's common to add some additional formatting to call them out. Let's add a background color, left border, and some padding.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Fugiat, consequatur, quae maxime quibusdam ducimus quas rem dicta optio dolor perspiciatis quo earum asperiores non facilis aspernatur libero voluptas aliquam magnam.
Some Roman Guy, Some Book Title, p 4.
Browsers will wrap inline quotes (<q>) with language-appropriate quotation marks, but you can override this to offer nicer-looking curly quotes using the quotes property.
As Abraham Lincoln was often fond of saying, I don't think people quote me correctly on the Internet!
Comme Abraham Lincoln était souvent coutume de dire, je ne pense pas que les gens me citer correctement sur Internet!
This paragraph uses a custom font called "Bubbler One" from the Google Web Fonts collection. Lorem ipsum dolor sit amet, consectetur adipisicing elit. Minima, autem, dolorem magnam aut suscipit animi repellendus blanditiis expedita nihil iste ipsa harum consectetur maiores! Voluptate labore dolores ipsam consequuntur rem.
It's common to format bibliographic entries as hanging indents. There is no single property to do this in CSS, but you can achieve this by combining a few settings in a tricky way.
Stearns, David L. Electronic Value Exchange: Origins of the VISA Electronic Payment System, 1st edition, London: Springer 2011. Available online at http://www.springer.com/computer/general+issues/book/978-1-84996-138-7.
When important documents are revised, it's common for authors to display what text was removed, what text was added, and what text had open questions or comments. These can be achieved by wrapping the relevant bits of text in del, ins, and mark elements. Browsers have default formatting for these, but you can alter them in CSS. This text was deleted. This text was added. This text has a comment assoicated with it.


HG-SSH(8) HG-SSH(8) NAME hg-ssh - restricted ssh login shell for Mercurial SYNOPSIS hg-ssh repositories... DESCRIPTION hg-ssh can be used as a restricted shell where access to Mercurial repos‐ itories is given over ssh(1). It should be specified, together with the paths to the repositories the user should be given access to, as a com‐ mand option in an authorized_keys(5) file. An example authorized_keys line using hg-ssh: command="hg-ssh path/to/repo1 /path/to/repo2 ~/repo3 ~user/repo4" ssh-rsa AA...== The user with the specified key would then be permitted to push and pull to the repositories using the URLs: ssh://example.com/path/to/repo1 ssh://example.com//path/to/repo2 ssh://example.com/~/repo3 ssh://example.com/~user/repo4 SEE ALSO sshd(8), ssh(1), hg(1). 2008-01-03 HG-SSH(8)


2 writes to _submitComplete
System.Management.Automation (2)
engine\remoting\common\throttlemanager.cs (2)
324
_submitComplete
= true;
418
_submitComplete
= true;
3 references to _submitComplete
System.Management.Automation (3)
engine\remoting\common\throttlemanager.cs (3)
240
if (!
_submitComplete
)
271
if (!
_submitComplete
)
579
if (
_submitComplete
&&


---
layout: edymtt
title: curriculum vitae - revision history
---
Back to CV
- 2013/09/01 11:06 UTC: written more precisely university ratings
- 2013/08/19 18:25 UTC: update links to website
- 2013/08/10 14:05 UTC: for instruction section reported the italian word for the title with approximate translation in English
- 2013/07/13 18:12 UTC: added OData to skills
- 2013/07/13 15:46 UTC: changed CV layout, added CC license
- 2013/07/04 18:12 UTC: added OAuth and Windows Azure Active Directory to skills. Little expansion to summary. Divided skills in methodologies and technologies
- 2013/06/19 18:03 UTC: fixed typo in Italian CV
- 2013/06/18 17:22 UTC: Added distributed systems and compensation to skills
- 2013/06/17 17:43 UTC: Removed categories in skills section, slight correction in summary
- 2013/06/13 17:42 UTC: started adding skills related more to architecture than technology (paraphrasing Markus Völter)
- 2013/06/06 18:48 UTC: fixed mispelled words in english cv
- 2013/06/04 18:19 UTC: improved summary, shortened work experience, synced all cv versions
- 2013/06/03 18:46 UTC: Updated english main cv with improved summary, portfolio as first section, streamlining of work and education
- 2013/05/19 18:38 UTC: little improvement to work section; shrinked short CV to fit one page
- 2013/04/25 14:14 UTC: Highlighted Stack Overflow Careers 2.0 profile
- 2013/04/25 12:46 UTC: Revised work section
- 2013/04/21 14:31 UTC: Updated GitHub logo
- 2013/04/19 19:44 UTC: Added experimental short CV, shortened summary, added regexp to skills
- 2013/04/06 17:53 UTC: Updated and streamlined skills section
- 2013/03/10 12:42 UTC: Precised that I have worked for more than 3 years
- 2013/03/09 15:58 UTC: In summary added Software engineer as additional desired role; in Computer Skills now the external links are listed first
- 2013/03/05 18:51 UTC: Added link to StackOverflow profile; rearranged order of sections in second page to highlight my portfolio and what I know
- 2013/03/04 19:30 UTC: Added to summary that I'm up to date; removed interest section (it was a rehash of my skills); added beta section for my portfolio
- 2013/03/03 15:49 UTC: Revised summary to emphasize skills and objective; streamlined some parts of work experience, education and skills
- 2013/02/25 19:35 UTC: Added to summary that I want to work as a SET. Changed header of last item in education for better readability and layout control
- 2013/02/07 19:45 UTC: added link to Stack Overflow Careers
- 2013/01/26 18:45 UTC: updated work experience and skills with new and revised content
- 2013/01/16 20:04 UTC: rearranged sections in order to improve readability and to highlight career and skills
- 2013/01/15 19:06 UTC: revised summary to note interest in best practices during daily work
- 2012/12/31 09:42 UTC: revised summary to include CI among interests
- 2012/12/26 12:15 UTC: written LaTeX in plain text for better readability
- 2012/12/26 08:10 UTC: added Web skills
- 2012/12/26 07:12 UTC: fixed typos and grammatical errors in english CV
- 2012/12/25 16:45 UTC: Added summary to better capture who I am and my careers goals. Changed page layout to accomodate more content. Moved updated on to header. Updated work section, skills and interest for both content and readability
- 2012/10/02 15:43 UTC: revised education section, updated work and skills secction
- 2012/09/10 11:10 UTC: improved layout of skills section, in order to improve readability; updated OS X skill (now up to Mountain Lion)
- 2012/08/22 18:16 UTC: Revised description of technology interest
- 2012/08/15 17:16 UTC: Revised work section, with expanded description of what I've done; added tablets to technology interests
- 2012/08/04 17:46 UTC: in work section cited the development of a promotion engine, added SQL Azure skills, added a colloquial description of my English autoevaluation
- 2012/07/17 17:55 UTC: fixed grammatical error in italian CV
- 2012/07/10 18:24 UTC: updated database section
- 2012/06/19 07:49 UTC: fixed typos and grammatical errors in italian CV
- 2012/06/09 15:26 UTC: corrected role description in work, fixed grammatical error in italian CV
- 2012/06/06 19:25 UTC: fixed mispelling in italian CV
- 2012/05/31 18:24 UTC: expanded work section, minor formatting fixes
- 2012/05/30 18:04 UTC: expanded work section
- 2012/05/29 19:39 UTC: minor formatting fixes


astropy.units handles defining and converting between physical units, and performing arithmetic with physical quantities (numbers with associated units).
Most users of the astropy.units package will work with “quantities”: the combination of a value and a unit. The easiest way to create a Quantity is to simply multiply or divide a value by one of the built-in units. It works with scalars, sequences and Numpy arrays:
>>> from astropy import units as u
>>> 42.0 * u.meter
<Quantity 42.0 m>
>>> [1., 2., 3.] * u.m
<Quantity [ 1., 2., 3.] m>
>>> import numpy as np
>>> np.array([1., 2., 3.]) * u.m
<Quantity [ 1., 2., 3.] m>
You can get the unit and value from a Quantity using the unit and value members:
>>> q = 42.0 * u.meter
>>> q.value
42.0
>>> q.unit
Unit("m")
From this simple building block, it’s easy to start combining quantities with different units:
>>> 15.1 * u.meter / (32.0 * u.second)
<Quantity 0.47187... m / s>
>>> 3.0 * u.kilometer / (130.51 * u.meter / u.second)
<Quantity 0.0229867443... km s / m>
>>> (3.0 * u.kilometer / (130.51 * u.meter / u.second)).decompose()
<Quantity 22.9867443... s>
Unit conversion is done using the to() method, which returns a new Quantity in the given unit:
>>> x = 1.0 * u.parsec
>>> x.to(u.km)
<Quantity<PHONE_NUMBER>4671.914 km>
It is also possible to work directly with units at a lower level, for example, to create custom units:
>>> from astropy.units import imperial
>>> cms = u.cm / u.s
>>> # ...and then use some imperial units
>>> mph = imperial.mile / u.hour
>>> # And do some conversions
>>> q = 42.0 * cms
>>> q.to(mph)
<Quantity 0.93951324266284... mi / h>
Units that “cancel out” become a special unit called the “dimensionless unit”:
>>> u.m / u.m
Unit(dimensionless)
astropy.units is able to match compound units against the units it already knows about:
>>> (u.s ** -1).compose()
[Unit("Bq"), Unit("Hz"), Unit("3.7e+10 Ci")]
And it can convert between unit systems, such as SI or CGS:
.. doctest-skip-all::
>>> (1.0 * u.Pa).cgs
<Quantity 10.0 Ba>
astropy.units also handles equivalencies, such as that between wavelength and frequency. To use that feature, equivalence objects are passed to the to() conversion method. For instance, a conversion from wavelength to frequency doesn’t normally work:
>>> (1000 * u.nm).to(u.Hz)
Traceback (most recent call last):
...
UnitsError: 'nm' (length) and 'Hz' (frequency) are not convertible
but by passing an equivalency list, in this case spectral(), it does:
>>> (1000 * u.nm).to(u.Hz, equivalencies=u.spectral())
<Quantity<PHONE_NUMBER>99999.94 Hz>
Quantities and units can be printed nicely to strings using the Format String Syntax, the preferred string formatting syntax in recent versions of python. Format specifiers (like 0.03f) in new-style format strings will used to format the quantity value:
>>> q = 15.1 * u.meter / (32.0 * u.second)
>>> q
<Quantity 0.47187... m / s>
>>> "{0:0.03f}".format(q)
'0.472 m / s'
The value and unit can also be formatted separately. Format specifiers used on units can be used to choose the unit formatter:
>>> q = 15.1 * u.meter / (32.0 * u.second)
>>> q
<Quantity 0.47187... m / s>
>>> "{0.value:0.03f} {0.unit:FITS}".format(q)
'0.472 m s-1'
This module defines the Quantity object, which represents a number with some associated units. Quantity objects support operations like ordinary numbers, but will deal with unit conversions internally.
This subpackage contains classes and functions for defining and converting between different physical units.
This code is adapted from the pynbody units module written by Andrew Pontzen, who has granted the Astropy project permission to use the code under a BSD license.
| add_enabled_equivalencies(equivalencies) | Adds to the equivalencies enabled in the unit registry. |
| add_enabled_units(units) | Adds to the set of units enabled in the unit registry. |
| brightness_temperature(beam_area, disp) | “Antenna Gain” or “sensitivity” equivalency: Defines the conversion between |
| def_physical_type(unit, name) | Adds a new physical unit mapping. |
| def_unit(s[, represents, register, doc, ...]) | Factory function for defining new units. |
| dimensionless_angles() | Allow angles to be equivalent to dimensionless (with 1 rad = 1 m/m = 1). |
| doppler_optical(rest) | Return the equivalency pairs for the optical convention for velocity. |
| doppler_radio(rest) | Return the equivalency pairs for the radio convention for velocity. |
| doppler_relativistic(rest) | Return the equivalency pairs for the relativistic convention for velocity. |
| get_current_unit_registry() | |
| get_physical_type(unit) | Given a unit, returns the name of the physical quantity it represents. |
| mass_energy() | Returns a list of equivalence pairs that handle the conversion between mass and energy. |
| parallax() | Returns a list of equivalence pairs that handle the conversion between parallax angle and distance. |
| set_enabled_equivalencies(equivalencies) | Sets the equivalencies enabled in the unit registry. |
| set_enabled_units(units) | Sets the units enabled in the unit registry. |
| spectral() | Returns a list of equivalence pairs that handle spectral wavelength, wave number, frequency, and energy equivalences. |
| spectral_density(wav[, factor]) | Returns a list of equivalence pairs that handle spectral density with regard to wavelength and frequency. |
| CompositeUnit(scale, bases, powers[, ...]) | Create a composite unit using expressions of previously defined units. |
| IrreducibleUnit(st[, register, doc, format, ...]) | Irreducible units are the units that all other units are defined in terms of. |
| NamedUnit(st[, register, doc, format, namespace]) | The base class of units that have a name. |
| PrefixUnit(st[, represents, register, doc, ...]) | A unit that is simply a SI-prefixed version of another unit. |
| Quantity | A Quantity represents a number with some associated unit. |
| Unit(st[, represents, register, doc, ...]) | The main unit class. |
| UnitBase | Abstract base class for units. |
| UnitsError | The base class for unit-specific exceptions. |
| UnitsError | The base class for unit-specific exceptions. |
| UnitsWarning | The base class for unit-specific exceptions. |
| UnrecognizedUnit(st[, register, doc, ...]) | A unit that did not parse correctly. |
A collection of different unit formats.
| get_format([format]) | Get a formatter by name. |
| Generic() | A “generic” format. |
| CDS() | Support the Centre de Données astronomiques de Strasbourg Standards for Astronomical Catalogues 2.0 format, and the complete set of supported units. |
| Console() | Output-only format for to display pretty formatting at the console. |
| Fits() | The FITS standard unit format. |
| Latex() | Output LaTeX to display the unit based on IAU style guidelines. |
| Unicode() | Output-only format to display pretty formatting at the console using Unicode characters. |
| Unscaled() | A format that doesn’t display the scale part of the unit, other than that, it is identical to the Generic format. |
| VOUnit() | The proposed IVOA standard for units used by the VO. |
This package defines the SI units. They are also available in the astropy.units namespace.
| Unit | Description | Represents | Aliases | SI Prefixes |
|---|---|---|---|---|
| A | ampere: base unit of electric current in SI | ampere, amp | Y | |
| a | annum (a) | annum | N | |
| Angstrom | ångström: 10 ** -10 m | AA, angstrom | N | |
| arcmin | arc minute: angular measurement | arcminute | N | |
| arcsec | arc second: angular measurement | arcsecond | N | |
| bar | bar: pressure | N | ||
| Bq | becquerel: unit of radioactivity | becquerel | N | |
| C | coulomb: electric charge | coulomb | N | |
| cd | candela: base unit of luminous intensity in SI | candela | Y | |
| Ci | curie: unit of radioactivity | curie | N | |
| d | day (d) | day | N | |
| deg | degree: angular measurement 1/360 of full rotation | degree | N | |
| eV | Electron Volt | electronvolt | N | |
| F | Farad: electrical capacitance | Farad, farad | N | |
| fortnight | fortnight | N | ||
| g | gram (g) | gram | N | |
| H | Henry: inductance | Henry, henry | N | |
| h | hour (h) | hour, hr | N | |
| hourangle | hour angle: angular measurement with 24 in a full circle | N | ||
| Hz | Frequency | Hertz, hertz | N | |
| J | Joule: energy | Joule, joule | N | |
| K | Kelvin: temperature with a null point at absolute zero. | Kelvin | Y | |
| kg | kilogram: base unit of mass in SI. | kilogram | Y | |
| l | liter: metric unit of volume | L, liter | N | |
| lm | lumen: luminous flux | lumen | N | |
| lx | lux: luminous emittence | lux | N | |
| m | meter: base unit of length in SI | meter | Y | |
| mas | arc second: angular measurement | N | ||
| micron | micron: alias for micrometer (um) | N | ||
| min | minute (min) | minute | N | |
| mol | mole: amount of a chemical substance in SI. | mole | Y | |
| N | Newton: force | Newton, newton | N | |
| Ohm | Ohm: electrical resistance | ohm | N | |
| Pa | Pascal: pressure | Pascal, pascal | N | |
| % | percent: one hundredth of unity, factor 0.01 | pct | N | |
| rad | radian: angular measurement of the ratio between the length on an arc and its radius | radian | Y | |
| S | Siemens: electrical conductance | Siemens, siemens | N | |
| s | second: base unit of time in SI. | second | Y | |
| sday | Sidereal day (sday) is the time of one rotation of the Earth. | N | ||
| sr | steradian: unit of solid angle in SI | steradian | N | |
| t | Metric tonne | tonne | N | |
| T | Tesla: magnetic flux density | Tesla, tesla | N | |
| uas | arc second: angular measurement | N | ||
| V | Volt: electric potential or electromotive force | Volt, volt | N | |
| W | Watt: power | Watt, watt | N | |
| Wb | Weber: magnetic flux | Weber, weber | N | |
| wk | week (wk) | week | N | |
| yr | year (yr) | year | N |
This package defines the CGS units. They are also available in the top-level astropy.units namespace.
| Unit | Description | Represents | Aliases | SI Prefixes |
|---|---|---|---|---|
| abC | abcoulomb: CGS (EMU) of charge | abcoulomb | N | |
| Ba | Barye: CGS unit of pressure | Barye, barye | N | |
| Bi | Biot: CGS (EMU) unit of current | Biot, abA, abampere, emu | N | |
| C | coulomb: electric charge | coulomb | N | |
| cd | candela: base unit of luminous intensity in SI | candela | N | |
| cm | centimeter (cm) | centimeter | N | |
| D | Debye: CGS unit of electric dipole moment | Debye, debye | N | |
| dyn | dyne: CGS unit of force | dyne | N | |
| erg | erg: CGS unit of energy | N | ||
| Fr | Franklin: CGS (ESU) unit of charge | Franklin, statcoulomb, statC, esu | N | |
| G | Gauss: CGS unit for magnetic field | Gauss, gauss | N | |
| g | gram (g) | gram | N | |
| Gal | Gal: CGS unit of acceleration | gal | N | |
| K | Kelvin: temperature with a null point at absolute zero. | Kelvin | N | |
| k | kayser: CGS unit of wavenumber | Kayser, kayser | N | |
| mol | mole: amount of a chemical substance in SI. | mole | N | |
| P | poise: CGS unit of dynamic viscosity | poise | N | |
| rad | radian: angular measurement of the ratio between the length on an arc and its radius | radian | N | |
| s | second: base unit of time in SI. | second | N | |
| sr | steradian: unit of solid angle in SI | steradian | N | |
| St | stokes: CGS unit of kinematic viscosity | stokes | N | |
| statA | statampere: CGS (ESU) unit of current | statampere | N |
This package defines the astrophysics-specific units. They are also available in the astropy.units namespace.
The mag unit is provided for compatibility with the FITS unit string standard. However, it is not very useful as-is since it is “orphaned” and can not be converted to any other unit. A future astropy magnitudes library is planned to address this shortcoming.
| Unit | Description | Represents | Aliases | SI Prefixes |
|---|---|---|---|---|
| adu | adu | N | ||
| AU | astronomical unit: approximately the mean Earth–Sun distance. | au | N | |
| barn | barn: unit of area used in HEP | N | ||
| beam | beam | N | ||
| bin | bin | N | ||
| bit | b (bit) | b, bit | Y | |
| byte | B (byte) | B, byte | Y | |
| chan | chan | N | ||
| ct | count (ct) | count | N | |
| cycle | cycle: angular measurement, a full turn or rotation | cy | N | |
| Jy | Jansky: spectral flux density | Jansky, jansky | N | |
| lyr | Light year | lightyear | N | |
| M_e | Electron mass | N | ||
| M_p | Proton mass | N | ||
| mag | Astronomical magnitude. | Y | ||
| pc | parsec: approximately 3.26 light-years. | parsec | N | |
| ph | photon (ph) | photon | Y | |
| pix | pixel (pix) | pixel | N | |
| R | Rayleigh: photon flux | Rayleigh, rayleigh | N | |
| Ry | Rydberg: Energy of a photon whose wavenumber is the Rydberg constant | rydberg | N | |
| solLum | Solar luminance | L_sun, Lsun | N | |
| solMass | Solar mass | M_sun, Msun | N | |
| solRad | Solar radius | R_sun, Rsun | N | |
| Sun | Sun | N | ||
| u | Unified atomic mass unit | Da, Dalton | N | |
| vox | voxel (vox) | voxel | N |
This package defines colloquially used Imperial units. By default, they are not enabled. To enable them, do:
>>> from astropy.units import imperial
>>> imperial.enable()
| Unit | Description | Represents | Aliases | SI Prefixes |
|---|---|---|---|---|
| ac | International acre | acre | N | |
| BTU | British thermal unit | btu | N | |
| cal | Thermochemical calorie: pre-SI metric unit of energy | calorie | N | |
| cup | U.S. | N | ||
| foz | U.S. | fluid_oz, fluid_ounce | N | |
| ft | International foot | foot | N | |
| gallon | U.S. | N | ||
| hp | Electrical horsepower | horsepower | N | |
| inch | International inch | N | ||
| kcal | Calorie: colloquial definition of Calorie | Cal, Calorie, kilocal, kilocalorie | N | |
| kn | nautical unit of speed: 1 nmi per hour | kt, knot, NMPH | N | |
| lb | International avoirdupois pound | pound | N | |
| mi | International mile | mile | N | |
| nmi | Nautical mile | nauticalmile, NM | N | |
| oz | International avoirdupois ounce | ounce | N | |
| pint | U.S. | N | ||
| quart | U.S. | N | ||
| tbsp | U.S. | tablespoon | N | |
| ton | International avoirdupois ton | N | ||
| tsp | U.S. | teaspoon | N | |
| yd | International yard | yard | N |
This package defines units used in the CDS format.
Contains the units defined in Centre de Données astronomiques de Strasbourg Standards for Astronomical Catalogues 2.0 format, and the complete set of supported units. This format is used by VOTable up to version 1.2.
To include them in compose and the results of find_equivalent_units, do:
>>> from astropy.units import cds
>>> cds.enable()
| Unit | Description | Represents | Aliases | SI Prefixes |
|---|---|---|---|---|
| % | percent | N | ||
| --- | dimensionless and unscaled | N | ||
| \h | Planck constant | N | ||
| A | Ampere | Y | ||
| a | year | N | ||
| a0 | Bohr radius | N | ||
| AA | Angstrom | Å, Angstrom, Angstroem | N | |
| al | Light year | N | ||
| alpha | Fine structure constant | N | ||
| arcm | minute of arc | arcmin | N | |
| arcs | second of arc | arcsec | N | |
| atm | atmosphere | N | ||
| AU | astronomical unit | au | N | |
| bar | bar | N | ||
| barn | barn | N | ||
| bit | bit | Y | ||
| byte | byte | Y | ||
| C | Coulomb | N | ||
| c | speed of light | N | ||
| cal | calorie | N | ||
| cd | candela | Y | ||
| Crab | Crab (X-ray) flux | Y | ||
| ct | count | Y | ||
| D | Debye (dipole) | N | ||
| d | Julian day | N | ||
| deg | degree | °, degree | N | |
| dyn | dyne | N | ||
| e | electron charge | N | ||
| eps0 | electric constant | N | ||
| erg | erg | N | ||
| eV | electron volt | N | ||
| F | Farad | N | ||
| G | Gravitation constant | N | ||
| g | gram | N | ||
| gauss | Gauss | N | ||
| geoMass | Earth mass | Mgeo | N | |
| H | Henry | N | ||
| h | hour | N | ||
| hr | hour | N | ||
| Hz | Hertz | N | ||
| inch | inch | N | ||
| J | Joule | N | ||
| JD | Julian day | N | ||
| jovMass | Jupiter mass | Mjup | N | |
| Jy | Jansky | N | ||
| k | Boltzmann | N | ||
| K | Kelvin | Y | ||
| l | litre | N | ||
| lm | lumen | N | ||
| Lsun | solar luminosity | solLum | N | |
| lx | lux | N | ||
| lyr | Light year | N | ||
| m | meter | Y | ||
| mag | magnitude | Y | ||
| mas | millisecond of arc | N | ||
| me | electron mass | N | ||
| min | minute | N | ||
| MJD | Julian day | N | ||
| mmHg | millimeter of mercury | N | ||
| mol | mole | Y | ||
| mp | proton mass | N | ||
| Msun | solar mass | solMass | N | |
| mu0 | magnetic constant | µ0 | N | |
| muB | Bohr magneton | N | ||
| N | Newton | N | ||
| Ohm | Ohm | N | ||
| Pa | Pascal | N | ||
| pc | parsec | N | ||
| ph | photon | Y | ||
| pi | π | N | ||
| pix | pixel | Y | ||
| ppm | parts per million | N | ||
| R | gas constant | N | ||
| rad | radian | Y | ||
| Rgeo | Earth equatorial radius | N | ||
| Rjup | Jupiter equatorial radius | N | ||
| Rsun | solar radius | solRad | N | |
| Ry | Rydberg | N | ||
| s | second | sec | Y | |
| S | Siemens | N | ||
| sr | steradian | N | ||
| Sun | solar unit | Y | ||
| T | Tesla | N | ||
| t | metric tonne | N | ||
| u | atomic mass | N | ||
| V | Volt | N | ||
| W | Watt | N | ||
| Wb | Weber | N | ||
| yr | year | N | ||
| µas | microsecond of arc | N |
A set of standard astronomical equivalencies.
| parallax() | Returns a list of equivalence pairs that handle the conversion between parallax angle and distance. |
| spectral() | Returns a list of equivalence pairs that handle spectral wavelength, wave number, frequency, and energy equivalences. |
| spectral_density(wav[, factor]) | Returns a list of equivalence pairs that handle spectral density with regard to wavelength and frequency. |
| doppler_radio(rest) | Return the equivalency pairs for the radio convention for velocity. |
| doppler_optical(rest) | Return the equivalency pairs for the optical convention for velocity. |
| doppler_relativistic(rest) | Return the equivalency pairs for the relativistic convention for velocity. |
| mass_energy() | Returns a list of equivalence pairs that handle the conversion between mass and energy. |
| brightness_temperature(beam_area, disp) | “Antenna Gain” or “sensitivity” equivalency: Defines the conversion between |
| dimensionless_angles() | Allow angles to be equivalent to dimensionless (with 1 rad = 1 m/m = 1). |


Hey guys welcome to sadaimudinaadhar.github.io. Am a simple enthusiastic programmer. Am good in Laravel. Intermediate in Android, Java, C, C++. I can create Websites or some customized applications as per your requirement. Below are some simple packages and articles created by me. Please check it out.


2013 Contribution Model
At each meeting, we invite a company to give a 15 minute presentation and provide food and prizes for attendees. This has been an excellent way for companies to connect with our members and get involved with recruiting at BYU. For each meeting, we do the following for the company that will present:
- Include the company’s logo and name in our weekly email reminder.
- Include the company’s logo and name in our weekly posted fliers around the Computer Science department.
BYU ACM functions on the support given to us by companies that we work with. There is no given contribution price level or requirement. Every semester we do the following for companies that have contributed to our club for that semester:
- Place the company's logo on our shirt for that semester.
- Place the company's logo on our website.
- Put signs out for the company during the career fair identifying them as BYU ACM supporters.
Please Contact Kimberly Orton in the CS department at<EMAIL_ADDRESS>for more information.
Please keep in mind that your company is not required to give a contribution to BYU ACM in order to arrange an information session or other on-campus event with the Computer Science department. These events are publicized generally to CS undergraduate students and the CS department at BYU is happy to help you in arranging these events. The CS department also provides a job board where employers are always welcome to post Computer Science-related jobs (cs.byu.edu/jobs).


{% extends 'base.html' %} {% block createtoken %}
You need to get an Access Token in order to access the Open Banking APIs programmatically.
{{ context.settings.access_token }}


Andrew Telleria is the fearless leader of Get-It Adventures. His passion and steadfast nature has make this reliable company a trusted organization in the recover community. He has distinctive values and cares about solving issues in community that keep people in addictive lifestyles. He has a pattern of living connected with the richness of life, friends, family, and co-workers. He works to instill his values and approach to life with all participants.


|
Panda3D
|
Public Member Functions | |
| __init__ () | |
| __init__ (const OdeContactGeom copy) | |
| DReal | getDepth () |
| OdeGeom | getG1 () |
| OdeGeom | getG2 () |
| LVecBase3f | getNormal () |
| LVecBase3f | getPos () |
| int | getSide1 () |
| int | getSide2 () |
| setDepth (const DReal depth) | |
| setG1 (const OdeGeom geom) | |
| setG2 (const OdeGeom geom) | |
| setNormal (const LVecBase3f normal) | |
| setPos (const LVecBase3f pos) | |
| Public Member Functions inherited from TypedObject | |
| TypeHandle | getType () |
| int | getTypeIndex () |
| Returns the internal index number associated with this object's TypeHandle, a unique number for each different type. More... | |
| bool | isExactType (TypeHandle handle) |
| Returns true if the current object is the indicated type exactly. More... | |
| bool | isOfType (TypeHandle handle) |
| Returns true if the current object is or derives from the indicated type. More... | |
| Public Member Functions inherited from ReferenceCount | |
| int | getRefCount () |
| Returns the current reference count. More... | |
| ref () | |
| Explicitly increments the reference count. More... | |
| bool | testRefCountIntegrity () |
| Does some easy checks to make sure that the reference count isn't completely bogus. More... | |
| bool | testRefCountNonzero () |
| Does some easy checks to make sure that the reference count isn't zero, or completely bogus. More... | |
| bool | unref () |
| Explicitly decrements the reference count. More... | |
Static Public Member Functions | |
| static TypeHandle | getClassType () |
| Static Public Member Functions inherited from TypedReferenceCount | |
| static TypeHandle | getClassType () |
| Static Public Member Functions inherited from TypedObject | |
| static TypeHandle | getClassType () |
| Static Public Member Functions inherited from ReferenceCount | |
| static TypeHandle | getClassType () |
Additional Inherited Members | |
| Public Attributes inherited from TypedObject | |
| TypeHandle | type |
| Returns the TypeHandle representing this object's type. More... | |
| Public Attributes inherited from ReferenceCount | |
| int | ref_count |
| The current reference count. More... | |
| __init__ | ( | ) |
| __init__ | ( | const OdeContactGeom | copy | ) |
|
static |
| DReal getDepth | ( | ) |
| OdeGeom getG1 | ( | ) |
| OdeGeom getG2 | ( | ) |
| LVecBase3f getNormal | ( | ) |
| LVecBase3f getPos | ( | ) |
| int getSide1 | ( | ) |
| int getSide2 | ( | ) |
| setDepth | ( | const DReal | depth | ) |
| setG1 | ( | const OdeGeom | geom | ) |
| setG2 | ( | const OdeGeom | geom | ) |
| setNormal | ( | const LVecBase3f | normal | ) |
| setPos | ( | const LVecBase3f | pos | ) |


{% load i18n satchmo_currency satchmo_discounts %}
A new order has been submitted. Details are included below:


With the first round of alpha testing complete, the game has been taken down until additional features are completed. Then the game will be back for the next round of testing.
Learn more about the developer and what he has planned: Adam Belliveau


|
CompactStar SDK 1.08
|
#include "CSR_Common.h"
#include "CSR_Geometry.h"
#include "CSR_Collision.h"
#include "CSR_Model.h"
#include "CSR_Renderer.h"
#include "CSR_Mdl.h"
#include "CSR_X.h"
#include "CSR_Collada.h"
#include "CSR_Iqm.h"
Go to the source code of this file.
Data Structures | |
| struct | CSR_SceneItem |
| struct | CSR_Scene |
| struct | CSR_Camera |
| struct | CSR_ArcBall |
| struct | CSR_HitModel |
| struct | CSR_CollisionInput |
| struct | CSR_CollisionOutput |
| struct | CSR_SceneContext |
Macros | |
| #define | M_CSR_NoGround 1.0f / 0.0f |
Typedefs | |
| typedef struct CSR_SceneContext | CSR_SceneContext |
| typedef void(* | CSR_fOnSceneBegin) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
| typedef void(* | CSR_fOnSceneEnd) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
| typedef void(* | CSR_fOnPrepareDraw) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
| typedef void(* | CSR_fOnPrepareTransparentDraw) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
| typedef void *(* | CSR_fOnGetShader) (const void *pModel, CSR_EModelType type) |
| typedef void(* | CSR_fOnGetModelIndex) (const CSR_Model *pModel, size_t *pIndex) |
| typedef void(* | CSR_fOnGetMDLIndex) (const CSR_MDL *pMDL, size_t *pSkinIndex, size_t *pModelIndex, size_t *pMeshIndex) |
| typedef void(* | CSR_fOnGetXIndex) (const CSR_X *pX, size_t *pAnimSetIndex, size_t *pFrameIndex) |
| typedef void(* | CSR_fOnGetColladaIndex) (const CSR_Collada *pCollada, size_t *pAnimSetIndex, size_t *pFrameIndex) |
| typedef void(* | CSR_fOnGetIQMIndex) (const CSR_IQM *pIQM, size_t *pAnimSetIndex, size_t *pFrameIndex) |
| typedef int(* | CSR_fOnCustomDetectCollision) (const CSR_Scene *pScene, const CSR_SceneItem *pSceneItem, size_t index, const CSR_Matrix4 *pInvertedModelMatrix, const CSR_CollisionInput *pCollisionInput, CSR_CollisionOutput *pCollisionOutput) |
Enumerations | |
| enum | CSR_EModelType { CSR_MT_Line , CSR_MT_Mesh , CSR_MT_Model , CSR_MT_MDL , CSR_MT_X , CSR_MT_Collada , CSR_MT_IQM } |
| enum | CSR_ECollisionType { CSR_CO_None = 0x0 , CSR_CO_Ground = 0x1 , CSR_CO_Edge = 0x2 , CSR_CO_Mouse = 0x4 , CSR_CO_Custom = 0x8 } |
| enum | CSR_EMatCombType { IE_CT_Scale_Rotate_Translate , IE_CT_Scale_Translate_Rotate , IE_CT_Rotate_Translate_Scale , IE_CT_Rotate_Scale_Translate , IE_CT_Translate_Rotate_Scale , IE_CT_Translate_Scale_Rotate } |
| #define M_CSR_NoGround 1.0f / 0.0f |
| typedef int(* CSR_fOnCustomDetectCollision) (const CSR_Scene *pScene, const CSR_SceneItem *pSceneItem, size_t index, const CSR_Matrix4 *pInvertedModelMatrix, const CSR_CollisionInput *pCollisionInput, CSR_CollisionOutput *pCollisionOutput) |
Called when a custom collision should be detected in a scene
| pScene | - scene in which the models to check are contained | |
| pSceneItem | - the scene item currently tested | |
| index | - model matrix currently tested in the scene item | |
| pInvertedModelMatrix | - invert of the currently tested model matrix | |
| pCollisionInput | - collision input | |
| [in,out] | pCollisionOutput | - collision output |
| typedef void(* CSR_fOnGetColladaIndex) (const CSR_Collada *pCollada, size_t *pAnimSetIndex, size_t *pFrameIndex) |
Called when the Collada model indexes should be get
| pCollada | - Collada model for which the indexes should be get | |
| [in,out] | pAnimSetIndex | - animation set index |
| [in,out] | pFrameIndex | - frame index |
| typedef void(* CSR_fOnGetIQMIndex) (const CSR_IQM *pIQM, size_t *pAnimSetIndex, size_t *pFrameIndex) |
Called when the IQM model indexes should be get
| pIQM | - IQM model for which the indexes should be get | |
| [in,out] | pAnimSetIndex | - animation set index |
| [in,out] | pFrameIndex | - frame index |
| typedef void(* CSR_fOnGetMDLIndex) (const CSR_MDL *pMDL, size_t *pSkinIndex, size_t *pModelIndex, size_t *pMeshIndex) |
Called when the MDL model indexes should be get
| pMDL | - MDL model for which the indexes should be get | |
| [in,out] | pSkinIndex | - skin index |
| [in,out] | pModelIndex | - model index |
| [in,out] | pMeshIndex | - mesh index |
| typedef void(* CSR_fOnGetModelIndex) (const CSR_Model *pModel, size_t *pIndex) |
Called when a model index should be get
| pModel | - model for which the index should be get | |
| [in,out] | pIndex | - model index |
| typedef void *(* CSR_fOnGetShader) (const void *pModel, CSR_EModelType type) |
Called when a shader should be get for a model
| pModel | - model for which the shader should be get |
| type | - model type |
| typedef void(* CSR_fOnGetXIndex) (const CSR_X *pX, size_t *pAnimSetIndex, size_t *pFrameIndex) |
Called when the X model indexes should be get
| pX | - X model for which the indexes should be get | |
| [in,out] | pAnimSetIndex | - animation set index |
| [in,out] | pFrameIndex | - frame index |
| typedef void(* CSR_fOnPrepareDraw) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
Called before normal models are drawn in scene
| pScene | - scene in which objects will be drawn |
| pContext | - scene context |
| typedef void(* CSR_fOnPrepareTransparentDraw) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
Called before transparent models are drawn in scene
| pScene | - scene in which objects will be drawn |
| pContext | - scene context |
| typedef void(* CSR_fOnSceneBegin) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
Called when scene begins
| pScene | - scene to begin |
| pContext | - scene context |
| typedef void(* CSR_fOnSceneEnd) (const CSR_Scene *pScene, const CSR_SceneContext *pContext) |
Called when scene ends
| pScene | - scene to end |
| pContext | - scene context |
| typedef struct CSR_SceneContext CSR_SceneContext |
| enum CSR_ECollisionType |
| enum CSR_EMatCombType |
| enum CSR_EModelType |
| CSR_CollisionInput * csrCollisionInputCreate | ( | void | ) |
Creates a collision input
| void csrCollisionInputInit | ( | CSR_CollisionInput * | pCI | ) |
Initializes a collision input
| [in,out] | pCI | - collision input to initialize |
| void csrCollisionInputRelease | ( | CSR_CollisionInput * | pCI | ) |
Releases a collision input
| [in,out] | pCI | - collision input to release |
| CSR_CollisionOutput * csrCollisionOutputCreate | ( | void | ) |
Creates a collision output
| void csrCollisionOutputInit | ( | CSR_CollisionOutput * | pCO | ) |
Initializes a collision output
| [in,out] | pCO | - collision output to initialize |
| void csrCollisionOutputRelease | ( | CSR_CollisionOutput * | pCO | ) |
Releases a collision output
| [in,out] | pCO | - collision output to release |
| CSR_HitModel * csrHitModelCreate | ( | void | ) |
Creates a hit model structure
| void csrHitModelInit | ( | CSR_HitModel * | pHitModel | ) |
Initializes a hit model structure
| [in,out] | pHitModel | - hit model structure to initialize |
| void csrHitModelRelease | ( | CSR_HitModel * | pHitModel | ) |
Releases a hit model structure
| [in,out] | pHitModel | - hit model structure to release |
| CSR_SceneItem * csrSceneAddCollada | ( | CSR_Scene * | pScene, |
| CSR_Collada * | pCollada, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds a Collada model to a scene
| pScene | - scene in which the model will be added |
| pCollada | - model to add |
| transparent | - if 1, the model is transparent, if 0 the model is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| CSR_SceneItem * csrSceneAddIQM | ( | CSR_Scene * | pScene, |
| CSR_IQM * | pIQM, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds an Inter-Quake model (.iqm) to a scene
| pScene | - scene in which the model will be added |
| pX | - model to add |
| transparent | - if 1, the model is transparent, if 0 the model is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| CSR_SceneItem * csrSceneAddLine | ( | CSR_Scene * | pScene, |
| CSR_Line * | pLine, | ||
| int | transparent | ||
| ) |
Adds a line to a scene
| pScene | - scene in which the line will be added |
| pLine | - line to add |
| transparent | - if 1, the line is transparent, if 0 the line is opaque |
| CSR_SceneItem * csrSceneAddMDL | ( | CSR_Scene * | pScene, |
| CSR_MDL * | pMDL, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds a MDL model to a scene
| pScene | - scene in which the model will be added |
| pMDL | - model to add |
| transparent | - if 1, the model is transparent, if 0 the model is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| CSR_SceneItem * csrSceneAddMesh | ( | CSR_Scene * | pScene, |
| CSR_Mesh * | pMesh, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds a mesh to a scene
| pScene | - scene in which the mesh will be added |
| pMesh | - mesh to add |
| transparent | - if 1, the mesh is transparent, if 0 the mesh is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| CSR_SceneItem * csrSceneAddModel | ( | CSR_Scene * | pScene, |
| CSR_Model * | pModel, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds a model to a scene
| pScene | - scene in which the model will be added |
| pModel | - model to add |
| transparent | - if 1, the model is transparent, if 0 the model is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| CSR_SceneItem * csrSceneAddModelMatrix | ( | CSR_Scene * | pScene, |
| const void * | pModel, | ||
| CSR_Matrix4 * | pMatrix | ||
| ) |
Adds a model matrix to a scene item. Doing that the same model may be drawn several time at different locations
| pScene | - scene in which the model will be added |
| pModel | - model for which the matrix should be added |
| pMatrix | - matrix to add |
| CSR_SceneItem * csrSceneAddX | ( | CSR_Scene * | pScene, |
| CSR_X * | pX, | ||
| int | transparent, | ||
| int | aabb | ||
| ) |
Adds a X model to a scene
| pScene | - scene in which the model will be added |
| pX | - model to add |
| transparent | - if 1, the model is transparent, if 0 the model is opaque |
| aabb | - if 1, the AABB tree will be generated for the mesh |
| void csrSceneArcBallToMatrix | ( | const CSR_ArcBall * | pArcball, |
| CSR_Matrix4 * | pR | ||
| ) |
Gets a camera (or view) matrix from arcball values
| pArcball | - arcball values | |
| [in,out] | pR | - camera (or view) matrix |
| void csrSceneCameraToMatrix | ( | const CSR_Camera * | pCamera, |
| CSR_Matrix4 * | pR | ||
| ) |
Gets a camera (or view) matrix
| pCamera | - camera position and rotation in the 3d world | |
| [in,out] | pR | - camera (or view) matrix |
| void csrSceneContextInit | ( | CSR_SceneContext * | pContext | ) |
Initializes a scene context
| [in,out] | pContext | - context to initialize |
| CSR_Scene * csrSceneCreate | ( | void | ) |
Creates a scene
| void csrSceneDeleteFrom | ( | CSR_Scene * | pScene, |
| const void * | pKey, | ||
| const CSR_fOnDeleteTexture | fOnDeleteTexture | ||
| ) |
Deletes a model or a matrix from the scene
| pScene | - scene from which the item should be deleted |
| pKey | - key to delete, may be any model kind or a matrix |
| fOnDeleteTexture | - callback function to notify the GPU that a texture should be deleted |
| void csrSceneDetectCollision | ( | const CSR_Scene * | pScene, |
| const CSR_CollisionInput * | pCollisionInput, | ||
| CSR_CollisionOutput * | pCollisionOutput, | ||
| CSR_fOnCustomDetectCollision | fOnCustomDetectCollision | ||
| ) |
Detects the collisions happening in a scene
| pScene | - scene in which the collisions should be detected | |
| pCollisionInput | - collision input | |
| [in,out] | pCollisionOutput | - collision output containing the result |
| fOnCustomDetectCollision | - custom detection collision callback |
| void csrSceneDraw | ( | const CSR_Scene * | pScene, |
| const CSR_SceneContext * | pContext | ||
| ) |
Draws a scene
| pScene | - scene to draw |
| pContext | - scene context |
| CSR_SceneItem * csrSceneGetItem | ( | const CSR_Scene * | pScene, |
| const void * | pKey | ||
| ) |
Gets a scene item matching with a model or a matrix
| pScene | - scene from which the item should be get |
| pKey | - search key, may be any model kind or a matrix |
| void csrSceneGetTouchRay | ( | const CSR_Vector2 * | pTouchPos, |
| const CSR_Rect * | pTouchRect, | ||
| const CSR_Matrix4 * | pProjectionMatrix, | ||
| const CSR_Matrix4 * | pViewMatrix, | ||
| CSR_Ray3 * | pTouchRay | ||
| ) |
Gets the touch ray, in viewport coordinate system, from a touched position
| pTouchPos | - touch position from which the ray should be get | |
| pTouchRect | - rect surrounding the area where a touch can happen (e.g. the client rect of a window or the screen of a device) | |
| pProjectionMatrix | - projection matrix used in the viewport | |
| pViewMatrix | - view matrix matrix used in the viewport | |
| [out] | pTouchRay | - the touch ray, in viewport coordinate system |
| void csrSceneInit | ( | CSR_Scene * | pScene | ) |
Initializes a scene structure
| [in,out] | pScene | - scene to initialize |
| void csrSceneItemContentRelease | ( | CSR_SceneItem * | pSI, |
| const CSR_fOnDeleteTexture | fOnDeleteTexture | ||
| ) |
Releases a scene item content
| [in,out] | pSI | - scene item for which the content should be released |
| fOnDeleteTexture | - callback function to notify the GPU that a texture should be deleted |
| CSR_SceneItem * csrSceneItemCreate | ( | void | ) |
Creates a scene item
| void csrSceneItemDetectCollision | ( | const CSR_Scene * | pScene, |
| const CSR_SceneItem * | pSceneItem, | ||
| const CSR_CollisionInput * | pCollisionInput, | ||
| CSR_CollisionOutput * | pCollisionOutput, | ||
| CSR_fOnCustomDetectCollision | fOnCustomDetectCollision | ||
| ) |
Detects the collisions happening against a scene item
| pScene | - scene containing the item to check | |
| pSceneItem | - scene item against which the collision should be detected | |
| pCollisionInput | - collision input | |
| [in,out] | pCollisionOutput | - collision output containing the result |
| fOnCustomDetectCollision | - custom collision detection callback |
| void csrSceneItemDraw | ( | const CSR_Scene * | pScene, |
| const CSR_SceneContext * | pContext, | ||
| const CSR_SceneItem * | pItem | ||
| ) |
Draws a scene item
| pScene | - scene at which the item belongs |
| pContext | - scene context |
| pItem | - scene item to draw |
| void csrSceneItemInit | ( | CSR_SceneItem * | pSI | ) |
Initializes a scene item structure
| [in,out] | pSI | - scene item to initialize |
| void csrSceneRelease | ( | CSR_Scene * | pScene, |
| const CSR_fOnDeleteTexture | fOnDeleteTexture | ||
| ) |
Releases a scene
| [in,out] | pScene | - scene to release |
| fOnDeleteTexture | - callback function to notify the GPU that a texture should be deleted |
| void csrSceneTouchPosToViewportPos | ( | const CSR_Vector2 * | pTouchPos, |
| const CSR_Rect * | pTouchRect, | ||
| const CSR_Rect * | pViewportRect, | ||
| CSR_Vector3 * | pViewportPos | ||
| ) |
Converts a touch position (e.g. the mouse pointer or the finger) to a viewport position
| pTouchPos | - touch position to convert | |
| pTouchRect | - rect surrounding the area where a touch can happen (e.g. the client rect of a window or the screen of a device) | |
| pViewportRect | - viewport rectangle | |
| [out] | pViewportPos | - viewport position |


(Route : CIX Forums Menu, Participants Command, Moderators Tab Page, Add Button)
The Add Moderator dialog box allows you to add another user of CIX Forums to list of moderators for this forum.
This is a Hot Spot image. Move your mouse pointer over the image
and when the mouse pointer changes to the shape of a hand click
the left mouse button once for extra help.
The Add Moderator dialog box allows you to add another user of CIX Forums to list of moderators for this forum. Please note that you can only add or remove moderators if you are yourself a moderator of the forum.
To add a moderator, enter the CIX Forum nickname of the user you wish to add in the Name field. Now click the Add button to add their name to the list of moderators to be added. You can remove a potential moderator from this list by highlighting the name and clicking the Remove button. When you have finished adding moderators to the list, click OK. The new moderators will be added when Ameol next connects to CIX Forums.


Add Two Numbers Together
First Number
Please enter a valid first number
Second Number
Please enter a valid second number
Click Me to Add!
I am draggable!