Previous Page Next Page Contents

Cat::HomogeneousFiniteProduct -- the category of homogeneous finite products

Introduction

Cat::HomogeneousFiniteProduct(T) represents the category of homogeneous finite products of elements of the domain T.

Generating the category

Cat::HomogeneousFiniteProduct(T)

Parameters

T - A domain which must be from the category Cat::BaseCategory. This defines the domain of the products elements.

Categories

if T is a Cat::DifferentialRing then
Cat::DifferentialRing
if T is a Cat::PartialDifferentialRing then
Cat::PartialDifferentialRing
if T is a Cat::CommutativeRing then
Cat::CommutativeRing
if T is a Cat::SkewField then
Cat::SkewField
if T is a Cat::Ring then
Cat::Ring
if T is a Cat::Rng then
Cat::Rng
if T is a Cat::AbelianGroup then
Cat::AbelianGroup
if T is a Cat::CancellationAbelianMonoid then
Cat::CancellationAbelianMonoid
if T is a Cat::AbelianMonoid then
Cat::AbelianMonoid
if T is a Cat::AbelianSemiGroup then
Cat::AbelianSemiGroup
if T is a Cat::Group then
Cat::Group
if T is a Cat::Monoid then
Cat::Monoid
if T is a Cat::SemiGroup then
Cat::SemiGroup
if T is a Cat::CommutativeRing then
Cat::Algebra(T)
if T is a Cat::Ring then
Cat::LeftModule(T)
if T is a Cat::Ring then
Cat::RightModule(T)
Cat::HomogeneousFiniteCollection(T)

Details

Basic Entries

card

Must hold the number of elements of a collection.

Entries

characteristic

Defined if T is a ring: In this case the characteristic of the product domain is the same as that of T.

Method zip: combine elements

Method zipCanFail: combine elements, may fail

Method nops: returns number of elements

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000