Cat
::HomogeneousFiniteProduct
Категория гомогенных конечных продуктов
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.
Cat::HomogeneousFiniteProduct(T
)
Cat::HomogeneousFiniteProduct(T)
представляет категорию гомогенных конечных продуктов элементов доменного T
.
Cat::HomogeneousFiniteProduct(T)
гомогенный конечный набор, где каждый набор имеет то же число элементов доменного T
.
Число элементов должно быть дано записью "card"
, который должен быть задан областями этой категории. Это не дано как параметр категории просто, потому что это не нужно. Таким образом никакие ненужные экземпляры категории не создаются.
Можно было преимущественно реализовать все алгебраические операции здесь, но они будут медленными если методы "_index"
и "set_index"
являются медленными, который чаще всего будет иметь место. Таким образом, мы избегаем работы и позволяем доменным конструкторам сделать это.
Cat::HomogeneousFiniteCollection
T
Если T
Cat::DifferentialRing
, затем Cat::DifferentialRing
.
Если T
Cat::PartialDifferentialRing
, затем Cat::PartialDifferentialRing
.
Если T
Cat::CommutativeRing
, затем Cat::CommutativeRing
.
Если T
Cat::SkewField
, затем Cat::SkewField
.
Если T
Cat::Ring
, затем Cat::Ring
.
Если T
Cat::Rng
, затем Cat::Rng
.
Если T
Cat::AbelianGroup
, затем Cat::AbelianGroup
.
Если T
Cat::CancellationAbelianMonoid
, затем Cat::CancellationAbelianMonoid
.
Если T
Cat::AbelianMonoid
, затем Cat::AbelianMonoid
.
Если T
Cat::AbelianSemiGroup
, затем Cat::AbelianSemiGroup
.
Если T
Cat::Group
, затем Cat::Group
.
Если T
Cat::Monoid
, затем Cat::Monoid
.
Если T
Cat::SemiGroup
, затем Cat::SemiGroup
.
Если T
Cat::CommutativeRing
, затем Cat::Algebra(T)
.
Если T
Cat::Ring
, затем Cat::LeftModule(T)
.
Если T
Cat::Ring
, затем Cat::RightModule(T)
.
|
Область, которая должна быть от категории |
"карта" | Должен содержать число элементов набора. |
"характеристика" | Заданный, если |