\cat::Категория гомогенных конечных продуктов
Блокноты 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).
|
Область, которая должна быть от категории |
| "карта" | Должен содержать число элементов набора. |
| "характеристика" | Заданный, если |