Discussion :

[Razgriz]

Bon j'explique mon problème :
J'ai fait une classe AbstractFunction, abstraite, qui va me permettre de modéliser des fonctions quelconques, en y déclarant quelques méthodes comme eval() (calcule l'image en un pt), derive(), integre, ... et y définit des méthodes comme le thm des valeurs intermédiares, thm de Newton, du point fixe, ...

Jusque-là, tout va bien, une belle classe générale.

Ensuite je crée une classe Polynome, qui hérite de AbstractFunction, tout va bien, mes coefficients sont réels...
Seulement voilà, je veux être général par souci de réutilité j'implémente cette classe avec des types génériquesn afin de pouvoir créer des polynômes de matrice par exemple, de la manière suivante : Polynome p = new Polynome<Matrix>( ... );

Je ne dois globalement pas redéfinir les méthodes qui font + - * /, ni même derive(), integre() de la classe abstraite, tout ça va bien...
Mais le problème monstrueux est le suivant : comment appliquer le théorême des valeurs intemédiares à un polynôme de matrices? Il n'y a en effet pas d'ordre sur Rn x Rm... A la limite on se dit c'est facile, onj utilise une norme usuelle sur les matrices (je vous épargne la définition) et ça va fonctionner... Et bien non car une norme est >= 0 et je ne peux pas aller dans le négatif, ennuyeux pour le thm...

Enfin voilà j'espère que je me suis fait comprendre et qu'il y aura qqn pour m'aider, je ne suis peut-être pas au bon endreoit, j'aurais peut-être dû poster du côté algorithmique...

Merci d'avance pour vos réponses

[TabrisLeFol]

J'avoue ne pas y avoir compris grand chose (il est trop tot ) mais de deux choses :
* soit ton problème est resolvable mathematiquement mais la ce n'est pas moi qui vais t'aider mais plutot le forum algo, mais le solution peut etre d'utiliser une fonction tierce dans ton algo pour gerer ton cas particulier....

* soit il s'agit d'un problème de conception et je peut peut etre essayer.

Je dirais que tu essaye de trop "factoriser" ton code, serait ce pas possible de redefinir la focntion qui te pose problème? Autrement dit, au lieu de passer par une classe abstraite, passe initialement par une interface, et utilise une classe abstraire apres seulement pour regrouper les classes ayant un meme comportement, les autres pouvant directement implémenter l'interface....

[mavina]

Salut,

rien ne t'empeche de surcharger dans ta classe fille, le polymorphisme se chargera d'aller chercher la bonne fonction...
non ?

mavina

[Razgriz]

Oui, surcharger, ok, mais comment pour appliquer le fameux Théorême? Il n'y a pas d'ordre sur les matrices...

A part faire un truc du style

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
if(T instanceof Matrix)
   throw new IllegalPolynomeException("Non comparable Polynome");

mais faut avouer que c'est pas très beau...

[®om]

Tu ne devrais pas avoir une seule classe AbstractFunction... Mais plutôt, par exemple une classe AbstractFunction qui définit les opérations communes à tous les types (add, substract...).
Ensuite 2 classes abstraites héritant de AbstractFunction (AbstractRealFunction, AbstractMatrixFunction) qui définissent les opérations particulières... Et après tes classes concrètes...

[MangeurVasqué]

Si j'ai bien compris, tu ne peux appliquer le théorème que pour des fonctions qui s'appliquent sur un ensemble ordonné.

Tu peux essayer d'implémenter ton théorème dans une nouvelle classe :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
class TheoremeValeursIntermediaires<T extends AbstractFunction<D>, 
    D extends Comparable>  {
    public D calculerTheoremeValeursIntermediaires(T fonction, 
        D a, D b, D imageC) {
        ..
    }
}