Мне нужна помощь в решении сложного несоответствия связанных ⇐ JAVA

[Anonymous]

Я пишу классы, которые представляют математические элементы. Они пришли в парах: один (называемый C ) определяет элемент набора, другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой (другой

Код: Выделить всё

B

) представляет набор. Соответствующие классы: < /p>

Код: Выделить всё

public abstract class Vector          implements Element { }
public abstract class VectorialSpace  implements Ring { }

public abstract class PolyCoeff extends Vector  { }
public class RingPoly           extends VectorialSpace { }

public interface Constant { }
public interface BaseRing { }

public interface Element extends Constant { }
public interface Ring    extends BaseRing { }

Обратите внимание, что:

• В каждом классе общий тип c реализует константу интерфейса и общий тип B реализует интерфейс Basering .

  Код: Выделить всё

  PolyCoeff

  - не единственный подкласс вектора в моем рабочем пространстве, а также Ringpoly единственный подкласс VectialSpace .

классы и интерфейсы предыдущие, описанные. Однако следующее: < /p>

Код: Выделить всё

public class Homomorphism< C1 extends Constant, B1 extends BaseRing,
C2 extends Constant, B2 extends BaseRing > {

public static 
Homomorphism ringToPolyRingHomeo(B ring){
[...]
}
}
< /code>

Представленные ошибки: < /p>

Bound mismatch: The type PolyCoeff is not a valid substitute for the bounded parameter  of the type Homomorphism< /code> < /p>

Bound mismatch: The type RingPoly is not a valid substitute for the bounded parameter  of the type Homomorphism< /code> < /p>

PolyCoeff

расширяет абстрактный вектор класса , который, в свою очередь, реализует элемент интерфейса

Подробнее здесь: https://stackoverflow.com/questions/374 ... -mistmatch