GitHub - mayalarincon/algebraExtended: Nasalib algebra theory extended with factorization on Euclidean Domains

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
A_group.prf		A_group.prf
A_group.pvs		A_group.pvs
README_top_rings		README_top_rings
abelian_group.jprf		abelian_group.jprf
abelian_group.prf		abelian_group.prf
abelian_group.pvs		abelian_group.pvs
abelian_group.tccs		abelian_group.tccs
abstract.pvs		abstract.pvs
boolean_ring.prf		boolean_ring.prf
boolean_ring.pvs		boolean_ring.pvs
boolean_ring_def.pvs		boolean_ring_def.pvs
boolean_ring_homomorphisms.prf		boolean_ring_homomorphisms.prf
boolean_ring_homomorphisms.pvs		boolean_ring_homomorphisms.pvs
boolean_ring_w_one_homomorphisms.prf		boolean_ring_w_one_homomorphisms.prf
boolean_ring_w_one_homomorphisms.pvs		boolean_ring_w_one_homomorphisms.pvs
cartesian_product_finite.prf		cartesian_product_finite.prf
cartesian_product_finite.pvs		cartesian_product_finite.pvs
cartesian_product_finite.tccs		cartesian_product_finite.tccs
cartesian_product_quot_ring.prf		cartesian_product_quot_ring.prf
cartesian_product_quot_ring.pvs		cartesian_product_quot_ring.pvs
cartesian_product_quot_ring.tccs		cartesian_product_quot_ring.tccs
cauchy.prf		cauchy.prf
cauchy.pvs		cauchy.pvs
cauchy_scaf.prf		cauchy_scaf.prf
cauchy_scaf.pvs		cauchy_scaf.pvs
cayleys.prf		cayleys.prf
cayleys.pvs		cayleys.pvs
center_def.prf		center_def.prf
center_def.pvs		center_def.pvs
center_def.tccs		center_def.tccs
chinese_remainder_theorem_Z.prf		chinese_remainder_theorem_Z.prf
chinese_remainder_theorem_Z.pvs		chinese_remainder_theorem_Z.pvs
chinese_remainder_theorem_rings.prf		chinese_remainder_theorem_rings.prf
chinese_remainder_theorem_rings.pvs		chinese_remainder_theorem_rings.pvs
chinese_remainder_theorem_rings.tccs		chinese_remainder_theorem_rings.tccs
class_equation_scaf.prf		class_equation_scaf.prf
class_equation_scaf.pvs		class_equation_scaf.pvs
comaximal_finseqs_ideals.prf		comaximal_finseqs_ideals.prf
comaximal_finseqs_ideals.pvs		comaximal_finseqs_ideals.pvs
comaximal_finseqs_ideals.tccs		comaximal_finseqs_ideals.tccs
commutative_groupoid.prf		commutative_groupoid.prf
commutative_groupoid.pvs		commutative_groupoid.pvs
commutative_ring.jprf		commutative_ring.jprf
commutative_ring.prf		commutative_ring.prf
commutative_ring.pvs		commutative_ring.pvs
commutative_ring.tccs		commutative_ring.tccs
commutative_ring_with_one.prf		commutative_ring_with_one.prf
commutative_ring_with_one.pvs		commutative_ring_with_one.pvs
commutative_semigroup.prf		commutative_semigroup.prf
commutative_semigroup.pvs		commutative_semigroup.pvs
cosets.prf		cosets.prf
cosets.pvs		cosets.pvs
cosets_def.prf		cosets_def.prf
cosets_def.pvs		cosets_def.pvs
cosets_def.tccs		cosets_def.tccs
cyclic_group.prf		cyclic_group.prf
cyclic_group.pvs		cyclic_group.pvs
cyclic_monoid.prf		cyclic_monoid.prf
cyclic_monoid.pvs		cyclic_monoid.pvs
cyclic_monoid_def.prf		cyclic_monoid_def.prf
cyclic_monoid_def.pvs		cyclic_monoid_def.pvs
division_ring.jprf		division_ring.jprf
division_ring.prf		division_ring.prf
division_ring.pvs		division_ring.pvs
division_ring.tccs		division_ring.tccs
division_ring_def.prf		division_ring_def.prf
division_ring_def.pvs		division_ring_def.pvs
division_ring_def.tccs		division_ring_def.tccs
division_ring_extras.prf		division_ring_extras.prf
division_ring_extras.pvs		division_ring_extras.pvs
euclidean_domain.prf		euclidean_domain.prf
euclidean_domain.pvs		euclidean_domain.pvs
euclidean_domain.tccs		euclidean_domain.tccs
euclidean_domain_def.pvs		euclidean_domain_def.pvs
euclidean_domain_def.tccs		euclidean_domain_def.tccs
euclidean_ring.prf		euclidean_ring.prf
euclidean_ring.pvs		euclidean_ring.pvs
euclidean_ring.tccs		euclidean_ring.tccs
euclidean_ring_def.prf		euclidean_ring_def.prf
euclidean_ring_def.pvs		euclidean_ring_def.pvs
euclidean_ring_def.tccs		euclidean_ring_def.tccs
factor_groups.prf		factor_groups.prf
factor_groups.pvs		factor_groups.pvs
field.jprf		field.jprf
field.prf		field.prf
field.pvs		field.pvs
field.tccs		field.tccs
field_def.jprf		field_def.jprf
field_def.prf		field_def.prf
field_def.pvs		field_def.pvs
field_def.tccs		field_def.tccs
finite_cyclic_groups.prf		finite_cyclic_groups.prf
finite_cyclic_groups.pvs		finite_cyclic_groups.pvs
finite_groups.prf		finite_groups.prf
finite_groups.pvs		finite_groups.pvs
finite_integral_domain.prf		finite_integral_domain.prf
finite_integral_domain.pvs		finite_integral_domain.pvs
general_properties.prf		general_properties.prf
general_properties.pvs		general_properties.pvs
group.jprf		group.jprf